Mercurial > urweb

comparison src/source.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 7bab29834cd6
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
111 | DStr of string * sgn option * str 111 | DStr of string * sgn option * str
112 | DFfiStr of string * sgn 112 | DFfiStr of string * sgn
113 | DOpen of string * string list 113 | DOpen of string * string list
114 | DConstraint of con * con 114 | DConstraint of con * con
115 | DOpenConstraints of string * string list 115 | DOpenConstraints of string * string list
116 | DPage of exp
116 117
117 and str' = 118 and str' =
118 StrConst of decl list 119 StrConst of decl list
119 | StrVar of string 120 | StrVar of string
120 | StrProj of str * string 121 | StrProj of str * string