comparison src/expl.sml @ 100:f0f59e918cac

page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 275aaeb73f1f
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
96 DCon of string * int * kind * con 96 DCon of string * int * kind * con
97 | DVal of string * int * con * exp 97 | DVal of string * int * con * exp
98 | DSgn of string * int * sgn 98 | DSgn of string * int * sgn
99 | DStr of string * int * sgn * str 99 | DStr of string * int * sgn * str
100 | DFfiStr of string * int * sgn 100 | DFfiStr of string * int * sgn
101 | DPage of con * exp
101 102
102 and str' = 103 and str' =
103 StrConst of decl list 104 StrConst of decl list
104 | StrVar of int 105 | StrVar of int
105 | StrProj of str * string 106 | StrProj of str * string