Mercurial > urweb

comparison src/source.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
51 | TRecord of con 51 | TRecord of con
52 52
53 | CVar of string list * string 53 | CVar of string list * string
54 | CApp of con * con 54 | CApp of con * con
55 | CAbs of string * kind option * con 55 | CAbs of string * kind option * con
56 | CDisjoint of con * con * con
56 57
57 | CName of string 58 | CName of string
58 59
59 | CRecord of (con * con) list 60 | CRecord of (con * con) list
60 | CConcat of con * con 61 | CConcat of con * con