Mercurial > urweb

comparison src/expl.sml @ 460:d34834af4512

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:43:48 -0500
parents 89f766f19d5b
children ae03d09043c1
comparison
equal deleted inserted replaced
459:f542bc3133dc 460:d34834af4512
108 | SgiDatatype of string * int * string list * (string * int * con option) list 108 | SgiDatatype of string * int * string list * (string * int * con option) list
109 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 109 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
110 | SgiVal of string * int * con 110 | SgiVal of string * int * con
111 | SgiSgn of string * int * sgn 111 | SgiSgn of string * int * sgn
112 | SgiStr of string * int * sgn 112 | SgiStr of string * int * sgn
113 | SgiTable of int * string * int * con
114 | SgiSequence of int * string * int
115 113
116 and sgn' = 114 and sgn' =
117 SgnConst of sgn_item list 115 SgnConst of sgn_item list
118 | SgnVar of int 116 | SgnVar of int
119 | SgnFun of string * int * sgn * sgn 117 | SgnFun of string * int * sgn * sgn
134 | DFfiStr of string * int * sgn 132 | DFfiStr of string * int * sgn
135 | DExport of int * sgn * str 133 | DExport of int * sgn * str
136 | DTable of int * string * int * con 134 | DTable of int * string * int * con
137 | DSequence of int * string * int 135 | DSequence of int * string * int
138 | DDatabase of string 136 | DDatabase of string
137 | DCookie of int * string * int * con
139 138
140 and str' = 139 and str' =
141 StrConst of decl list 140 StrConst of decl list
142 | StrVar of int 141 | StrVar of int
143 | StrProj of str * string 142 | StrProj of str * string