Mercurial > urweb

comparison src/expl.sml @ 68:c1e21ab42896

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explify cfold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 09:51:28 -0400
parents d609820c5834
children 0ee10f4d73cf
comparison
equal deleted inserted replaced
67:9f89f0b00b84 68:c1e21ab42896
50 50
51 | CName of string 51 | CName of string
52 52
53 | CRecord of kind * (con * con) list 53 | CRecord of kind * (con * con) list
54 | CConcat of con * con 54 | CConcat of con * con
55 | CFold of kind * kind
55 56
56 withtype con = con' located 57 withtype con = con' located
57 58
58 datatype exp' = 59 datatype exp' =
59 EPrim of Prim.t 60 EPrim of Prim.t