Lines Matching refs:svalue
96 INT: int * 'a * 'a -> (svalue,'a) token
149 type pos, and type svalue in the UserDeclarations section of a lexer.
164 type svalue
167 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token
180 type svalue
184 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token
204 type svalue
228 (LrTable.state * (svalue * pos * pos)) list * arg->
229 LrTable.nonterm * (svalue * pos * pos) *
230 ((LrTable.state *(svalue * pos * pos)) list)
231 val void : svalue
232 val extract : svalue -> result
243 val errtermvalue : LrTable.term -> svalue
274 (* type svalue is the type of semantic values for the semantic value
278 type svalue
283 (svalue,pos) Token.token Stream.stream
290 val parse : int * ((svalue,pos) Token.token Stream.stream) *
292 result * (svalue,pos) Token.token Stream.stream
294 val sameToken : (svalue,pos) Token.token * (svalue,pos) Token.token ->
312 type svalue
315 (svalue,pos) Token.token Stream.stream
316 val parse : int * ((svalue,pos) Token.token Stream.stream) *
318 result * (svalue,pos) Token.token Stream.stream
320 val sameToken : (svalue,pos) Token.token * (svalue,pos) Token.token ->