Searched defs:expr (Results 1 - 8 of 8) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_parserLib.sig11 val expr : int -> string value
H A Darm_parserLib.sml402 fun expr i = if i < 0 then "-" ^ Int.toString (Int.abs i) else Int.toString i; function
/seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/parser.mosmlyacc/
H A DMain.sml10 let val expr = parser Lexer.Token (Lexing.createLexerString s) value
53 let val expr = parser Lexer.Token lexbuf value
64 let val expr = value
101 val expr = parseFileReport parser file is lexbuf value
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp[all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y138 expr: label
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddebug.c41 void ffi_assert(char *expr, char *file, int line) argument
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolver.h209 inline void check(bool expr) { assert(expr); } argument
/seL4-l4v-10.1.1/HOL4/src/ring/src/
H A Dquote.sml101 datatype expr = type

Completed in 226 milliseconds