Mercurial > urweb
comparison src/source.sml @ 460:d34834af4512
Cookies through explify
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 10:43:48 -0500 |
parents | f542bc3133dc |
children | ae03d09043c1 |
comparison
equal
deleted
inserted
replaced
459:f542bc3133dc | 460:d34834af4512 |
---|---|
79 | SgiVal of string * con | 79 | SgiVal of string * con |
80 | SgiStr of string * sgn | 80 | SgiStr of string * sgn |
81 | SgiSgn of string * sgn | 81 | SgiSgn of string * sgn |
82 | SgiInclude of sgn | 82 | SgiInclude of sgn |
83 | SgiConstraint of con * con | 83 | SgiConstraint of con * con |
84 | SgiTable of string * con | |
85 | SgiSequence of string | |
86 | SgiClassAbs of string | 84 | SgiClassAbs of string |
87 | SgiClass of string * con | 85 | SgiClass of string * con |
88 | SgiCookie of string * con | |
89 | 86 |
90 and sgn' = | 87 and sgn' = |
91 SgnConst of sgn_item list | 88 SgnConst of sgn_item list |
92 | SgnVar of string | 89 | SgnVar of string |
93 | SgnFun of string * sgn * sgn | 90 | SgnFun of string * sgn * sgn |