Mercurial > urweb

comparison src/source.sml @ 345:b85e6ba56618

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge CDisjoint and TDisjoint
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Oct 2008 15:50:28 -0400
parents 075b36dbb1a4
children 8084fa9216de
comparison
equal deleted inserted replaced
344:3c0feecd057d 345:b85e6ba56618
47 datatype con' = 47 datatype con' =
48 CAnnot of con * kind 48 CAnnot of con * kind
49 49
50 | TFun of con * con 50 | TFun of con * con
51 | TCFun of explicitness * string * kind * con 51 | TCFun of explicitness * string * kind * con
52 | TDisjoint of con * con * con
53 | TRecord of con 52 | TRecord of con
54 53
55 | CVar of string list * string 54 | CVar of string list * string
56 | CApp of con * con 55 | CApp of con * con
57 | CAbs of string * kind option * con 56 | CAbs of string * kind option * con