comparison src/expl.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
143 | DExport of int * sgn * str 143 | DExport of int * sgn * str
144 | DTable of int * string * int * con * exp * con * exp * con 144 | DTable of int * string * int * con * exp * con * exp * con
145 | DSequence of int * string * int 145 | DSequence of int * string * int
146 | DDatabase of string 146 | DDatabase of string
147 | DCookie of int * string * int * con 147 | DCookie of int * string * int * con
148 | DStyle of int * string * int * con
148 149
149 and str' = 150 and str' =
150 StrConst of decl list 151 StrConst of decl list
151 | StrVar of int 152 | StrVar of int
152 | StrProj of str * string 153 | StrProj of str * string