Mercurial > urweb

comparison src/source.sml @ 628:12b73f3c108e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 12:01:24 -0500
parents 588b9d16b00a
children e68de2a5506b
comparison
equal deleted inserted replaced
627:f4f2b09a533a 628:12b73f3c108e
51 CAnnot of con * kind 51 CAnnot of con * kind
52 52
53 | TFun of con * con 53 | TFun of con * con
54 | TCFun of explicitness * string * kind * con 54 | TCFun of explicitness * string * kind * con
55 | TRecord of con 55 | TRecord of con
56 | TDisjoint of con * con * con
56 57
57 | CVar of string list * string 58 | CVar of string list * string
58 | CApp of con * con 59 | CApp of con * con
59 | CAbs of string * kind option * con 60 | CAbs of string * kind option * con
60 | CDisjoint of con * con * con
61 61
62 | CKAbs of string * con 62 | CKAbs of string * con
63 | TKFun of string * con 63 | TKFun of string * con
64 64
65 | CName of string 65 | CName of string