Searched refs:token (Results 101 - 114 of 114) sorted by relevance

12345

/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dyacc-grm.sml854 type ('a,'b) token = ('a,'b) Token.token
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/src/
H A Dyacc-grm.sml857 type ('a,'b) token = ('a,'b) Token.token
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dlibraries.tex182 serie di token. Per maggiori informazioni sul lexing, si veda la Sezione~\ref{HOL-lex}.
210 differenti da qualsiasi token che appariva nell'input
229 \index{token!sopprimere il comportamento di parsing dei|(}
253 \index{token!sopprimere il comportamento di parsing dei|)}
401 il nome di una costante, o un token che appare in una regola di sintassi concreta
405 stesso di un token di una regola di sintassi concreta, allora il comportamento � di
407 usata come il token.
411 \index{token!Caratteri unicode}
417 caratteri. A meno che ci sia gi� nella grammatica uno specifico token ``misto'',
418 i token s
[all...]
H A Dtheories.tex419 qualsiasi comportamento sintattico speciale che un token (come \texttt{if},
422 \index{token!sopprimere il comportamento di parsing di}
1833 \index{token!parsing dei numerali}
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_grammar.sml29 [] => raise Fail "PrecAnalysis.first_rtok: no token"
35 [] => raise Fail "PrecAnalysis.first_tok: no token"
823 raise GrammarError "token list no good"
H A Dselftest.sml181 val _ = tprint ("Term token testing " ^ Lib.quote s)
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTactical.sml257 * Fail with the given token. Useful in tactic programs to check that a
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dobjects.tex61 A capability is an unforgeable token that references a specific kernel
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A Dho_proverTools.sml1532 (* A couple of token prove goals *)
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTptp.sml722 datatype token = type
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTptp.sml722 datatype token = type
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DCODEGEN_PARSETREE.sml972 mutable word which acts as a token. It is a
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_symbolsScript.sml1632 (* read next token *)
H A Dlisp_opsScript.sml2179 (* next token *)

Completed in 173 milliseconds

12345