Mercurial > urweb

comparison src/elab_print.sml @ 85:1f85890c9846

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Disjointness assumptions in expressions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 12:25:12 -0400
parents e86370850c30
children 7bab29834cd6
comparison
equal deleted inserted replaced
84:e86370850c30 85:1f85890c9846
75 p_kind k, 75 p_kind k,
76 space, 76 space,
77 string "->", 77 string "->",
78 space, 78 space,
79 p_con (E.pushCRel env x k) c]) 79 p_con (E.pushCRel env x k) c])
80 | TDisjoint (c1, c2, c3) => parenIf par (box [p_con env c1,
81 space,
82 string "~",
83 space,
84 p_con env c2,
85 space,
86 string "->",
87 space,
88 p_con env c3])
80 | TRecord (CRecord (_, xcs), _) => box [string "{", 89 | TRecord (CRecord (_, xcs), _) => box [string "{",
81 p_list (fn (x, c) => 90 p_list (fn (x, c) =>
82 box [p_name env x, 91 box [p_name env x,
83 space, 92 space,
84 string ":", 93 string ":",