Mercurial > urweb
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 |