/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
H A D | yacc-grm-sig.sml | 4 type svalue type 5 val BOGUS_VALUE: 'a * 'a -> (svalue,'a) token 6 val UNKNOWN: (string) * 'a * 'a -> (svalue,'a) token 7 val VALUE: 'a * 'a -> (svalue,'a) token 8 val VERBOSE: 'a * 'a -> (svalue,'a) token 9 val TYVAR: (string) * 'a * 'a -> (svalue,'a) token 10 val TERM: 'a * 'a -> (svalue,'a) token 11 val START: 'a * 'a -> (svalue,'a) token 12 val SUBST: 'a * 'a -> (svalue,'a) token 13 val RPAREN: 'a * 'a -> (svalue,' [all...] |
H A D | yacc.lex | 11 type svalue = Tokens.svalue 14 type lexresult = (svalue,pos) token
|
H A D | yacc.sml | 124 structure and a structure containing the datatype svalue: 126 type svalue -- it holds semantic values on the parse 132 The type svalue is set equal to the datatype svalue declared 133 in the structure named by valueStruct. The datatype svalue 154 say ("datatype svalue = " ^ termvoid ^ " | " ^ ntvoid ^ " of" ^ 159 sayln ("type svalue = " ^ valueStruct ^ ".svalue"); 179 sayln ("type svalue = " ^ dataStruct ^ ".svalue"); [all...] |
H A D | yacc-grm.sml | 311 datatype svalue = VOID | ntVOID of unit -> unit type 332 type svalue = MlyValue.svalue type 853 type svalue = ParserData.svalue type
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/src/ |
H A D | yacc-grm-sig.sml | 7 type svalue type 8 val BOGUS_VALUE: 'a * 'a -> (svalue,'a) token 9 val UNKNOWN: (string) * 'a * 'a -> (svalue,'a) token 10 val VALUE: 'a * 'a -> (svalue,'a) token 11 val VERBOSE: 'a * 'a -> (svalue,'a) token 12 val TYVAR: (string) * 'a * 'a -> (svalue,'a) token 13 val TERM: 'a * 'a -> (svalue,'a) token 14 val START: 'a * 'a -> (svalue,'a) token 15 val SUBST: 'a * 'a -> (svalue,'a) token 16 val RPAREN: 'a * 'a -> (svalue,' [all...] |
H A D | yacc.lex | 14 type svalue = Tokens.svalue 17 type lexresult = (svalue,pos) token
|
H A D | yacc-grm.sml | 314 datatype svalue = VOID | ntVOID of unit -> unit type 335 type svalue = MlyValue.svalue type 856 type svalue = ParserData.svalue type
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | DiskFiles.lex | 5 type svalue = Tokens.svalue 7 type lexresult = (svalue,pos) token
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | bar.c | 19 struct s svalue, *sptr; variable in typeref:struct:s
|
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/ |
H A D | MLY_join.sml | 34 sharing type Lex.UserDeclarations.svalue = ParserData.svalue 47 type svalue = ParserData.svalue type 70 yielding a value of type unit -> (svalue,pos) token 78 sharing type Lex.UserDeclarations.svalue = ParserData.svalue 92 type svalue = ParserData.svalue type
|
H A D | MLY_base-sig.sml | 96 INT: int * 'a * 'a -> (svalue,'a) token 149 type pos, and type svalue in the UserDeclarations section of a lexer. 164 type svalue type 167 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token 180 type svalue type 184 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token 204 type svalue type 228 (LrTable.state * (svalue * pos * pos)) list * arg-> 229 LrTable.nonterm * (svalue * pos * pos) * 230 ((LrTable.state *(svalue * po 278 type svalue type 312 type svalue type [all...] |
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | join.sml | 15 sharing type Lex.UserDeclarations.svalue = ParserData.svalue 28 type svalue = ParserData.svalue type 51 yielding a value of type unit -> (svalue,pos) token 59 sharing type Lex.UserDeclarations.svalue = ParserData.svalue 73 type svalue = ParserData.svalue type
|
H A D | base.sig | 72 INT: int * 'a * 'a -> (svalue,'a) token 125 type pos, and type svalue in the UserDeclarations section of a lexer. 140 type svalue type 143 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token 156 type svalue type 160 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token 180 type svalue type 204 (LrTable.state * (svalue * pos * pos)) list * arg-> 205 LrTable.nonterm * (svalue * pos * pos) * 206 ((LrTable.state *(svalue * po 254 type svalue type 288 type svalue type [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | join.sml | 15 sharing type Lex.UserDeclarations.svalue = ParserData.svalue 28 type svalue = ParserData.svalue type 51 yielding a value of type unit -> (svalue,pos) token 59 sharing type Lex.UserDeclarations.svalue = ParserData.svalue 73 type svalue = ParserData.svalue type
|
H A D | base.sig | 72 INT: int * 'a * 'a -> (svalue,'a) token 125 type pos, and type svalue in the UserDeclarations section of a lexer. 140 type svalue type 143 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token 156 type svalue type 160 (UserDeclarations.svalue,UserDeclarations.pos) UserDeclarations.token 180 type svalue type 204 (LrTable.state * (svalue * pos * pos)) list * arg-> 205 LrTable.nonterm * (svalue * pos * pos) * 206 ((LrTable.state *(svalue * po 254 type svalue type 288 type svalue type [all...] |
/seL4-l4v-10.1.1/l4v/tools/c-parser/ |
H A D | StrictC.lex | 15 type svalue = Tokens.svalue 17 type lexresult= (svalue,pos) token
|
/seL4-l4v-10.1.1/HOL4/src/TeX/ |
H A D | holindex.lex | 4 type lexresult = (svalue,pos) token
|
/seL4-l4v-10.1.1/HOL4/help/src-sml/ |
H A D | Lexer.lex | 4 type lexresult = (svalue,pos) token
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/ |
H A D | armParser.lex | 4 type svalue = Tokens.svalue 6 type lexresult = (svalue,pos) token
|
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfoot.lex | 4 type lexresult = (svalue,pos) token
|