Searched refs:svalue (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dyacc-grm-sig.sml4 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 Dyacc.lex11 type svalue = Tokens.svalue
14 type lexresult = (svalue,pos) token
H A Dyacc.sml124 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 Dyacc-grm.sml311 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 Dyacc-grm-sig.sml7 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 Dyacc.lex14 type svalue = Tokens.svalue
17 type lexresult = (svalue,pos) token
H A Dyacc-grm.sml314 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 DDiskFiles.lex5 type svalue = Tokens.svalue
7 type lexresult = (svalue,pos) token
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dbar.c19 struct s svalue, *sptr; variable in typeref:struct:s
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_join.sml34 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 DMLY_base-sig.sml96 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 Djoin.sml15 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 Dbase.sig72 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 Djoin.sml15 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 Dbase.sig72 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 DStrictC.lex15 type svalue = Tokens.svalue
17 type lexresult= (svalue,pos) token
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A Dholindex.lex4 type lexresult = (svalue,pos) token
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DLexer.lex4 type lexresult = (svalue,pos) token
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A DarmParser.lex4 type svalue = Tokens.svalue
6 type lexresult = (svalue,pos) token
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A Dholfoot.lex4 type lexresult = (svalue,pos) token

Completed in 276 milliseconds