Lines Matching refs:svalue
72 INT: int * 'a * 'a -> (svalue,'a) token
125 type pos, and type svalue in the UserDeclarations section of a lexer.
140 type svalue
143 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token
156 type svalue
160 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token
180 type svalue
204 (LrTable.state * (svalue * pos * pos)) list * arg->
205 LrTable.nonterm * (svalue * pos * pos) *
206 ((LrTable.state *(svalue * pos * pos)) list)
207 val void : svalue
208 val extract : svalue -> result
219 val errtermvalue : LrTable.term -> svalue
250 (* type svalue is the type of semantic values for the semantic value
254 type svalue
259 (svalue,pos) Token.token Stream.stream
266 val parse : int * ((svalue,pos) Token.token Stream.stream) *
268 result * (svalue,pos) Token.token Stream.stream
270 val sameToken : (svalue,pos) Token.token * (svalue,pos) Token.token ->
288 type svalue
291 (svalue,pos) Token.token Stream.stream
292 val parse : int * ((svalue,pos) Token.token Stream.stream) *
294 result * (svalue,pos) Token.token Stream.stream
296 val sameToken : (svalue,pos) Token.token * (svalue,pos) Token.token ->