comparison src/source.sml @ 61:48b6d2c3df46

open
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 19:34:35 -0400
parents abb2b32c19fb
children 9f89f0b00b84
comparison
equal deleted inserted replaced
60:8bce148070a7 61:48b6d2c3df46
99 DCon of string * kind option * con 99 DCon of string * kind option * con
100 | DVal of string * con option * exp 100 | DVal of string * con option * exp
101 | DSgn of string * sgn 101 | DSgn of string * sgn
102 | DStr of string * sgn option * str 102 | DStr of string * sgn option * str
103 | DFfiStr of string * sgn 103 | DFfiStr of string * sgn
104 | DOpen of string * string list
104 105
105 and str' = 106 and str' =
106 StrConst of decl list 107 StrConst of decl list
107 | StrVar of string 108 | StrVar of string
108 | StrProj of str * string 109 | StrProj of str * string