Mercurial > urweb

comparison src/source.sml @ 42:b3fbbc6cb1e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'where'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 16:35:40 -0400
parents e3d3c2791105
children a9f3ce2d1b9b
comparison
equal deleted inserted replaced
41:1405d8c26790 42:b3fbbc6cb1e5
70 70
71 and sgn' = 71 and sgn' =
72 SgnConst of sgn_item list 72 SgnConst of sgn_item list
73 | SgnVar of string 73 | SgnVar of string
74 | SgnFun of string * sgn * sgn 74 | SgnFun of string * sgn * sgn
75 | SgnWhere of sgn * string * con
75 76
76 withtype sgn_item = sgn_item' located 77 withtype sgn_item = sgn_item' located
77 and sgn = sgn' located 78 and sgn = sgn' located
78 79
79 datatype exp' = 80 datatype exp' =