Mercurial > urweb

comparison src/source.sml @ 82:b4f2a258e52c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial disjointness prover
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 10:55:38 -0400
parents 6431b315a1e3
children e86370850c30
comparison
equal deleted inserted replaced
81:60d97de1bbe8 82:b4f2a258e52c
32 datatype kind' = 32 datatype kind' =
33 KType 33 KType
34 | KArrow of kind * kind 34 | KArrow of kind * kind
35 | KName 35 | KName
36 | KRecord of kind 36 | KRecord of kind
37 | KUnit
37 | KWild 38 | KWild
38 39
39 withtype kind = kind' located 40 withtype kind = kind' located
40 41
41 datatype explicitness = 42 datatype explicitness =
56 | CName of string 57 | CName of string
57 58
58 | CRecord of (con * con) list 59 | CRecord of (con * con) list
59 | CConcat of con * con 60 | CConcat of con * con
60 | CFold 61 | CFold
62
63 | CUnit
61 64
62 | CWild of kind 65 | CWild of kind
63 66
64 withtype con = con' located 67 withtype con = con' located
65 68