Mercurial > urweb

comparison src/elab.sml @ 84:e86370850c30

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Disjointness assumptions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 12:10:46 -0400
parents b4f2a258e52c
children 1f85890c9846
comparison
equal deleted inserted replaced
83:0a1baddd8ab2 84:e86370850c30
53 | CRel of int 53 | CRel of int
54 | CNamed of int 54 | CNamed of int
55 | CModProj of int * string list * string 55 | CModProj of int * string list * string
56 | CApp of con * con 56 | CApp of con * con
57 | CAbs of string * kind * con 57 | CAbs of string * kind * con
58 | CDisjoint of con * con * con
58 59
59 | CName of string 60 | CName of string
60 61
61 | CRecord of kind * (con * con) list 62 | CRecord of kind * (con * con) list
62 | CConcat of con * con 63 | CConcat of con * con