comparison src/core.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
132 | DExport of export_kind * int 132 | DExport of export_kind * int
133 | DTable of string * int * con * string * exp * con * exp * con 133 | DTable of string * int * con * string * exp * con * exp * con
134 | DSequence of string * int * string 134 | DSequence of string * int * string
135 | DDatabase of string 135 | DDatabase of string
136 | DCookie of string * int * con * string 136 | DCookie of string * int * con * string
137 | DStyle of string * int * con * string
137 138
138 withtype decl = decl' located 139 withtype decl = decl' located
139 140
140 type file = decl list 141 type file = decl list
141 142