Searched defs:stm (Results 1 - 14 of 14) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | Tree.sml | 5 datatype stm = SEQ of stm * stm type
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | Tree.sml | 5 datatype stm = SEQ of stm * stm type 40 datatype stm = SEQ of stm * stm type
|
H A D | annotatedIR.sml | 247 let val stm = CALL(Symbol.name(hd (valOf jp)), STM [], STM [], STM [], value
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | Tree.sml | 5 datatype stm = SEQ of stm * stm type 40 datatype stm = SEQ of stm * stm type
|
H A D | annotatedIR.sml | 230 let val stm = CALL(Symbol.name(hd (valOf jp)), STM [], STM [], STM [], value
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | regexpLib.sml | 150 let val stm = stringLib.fromMLstring s value
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | Ho_Rewrite.sml | 230 val stm = Lib.trye hd (sort free_in ts) value
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | Parse_support.sml | 261 val stm = mk_thy_const {Name = "CONS", Thy = "list", value
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
H A D | annotatedIR.sml | 230 let val stm = CALL(Symbol.name(hd (valOf jp)), STM [], STM [], STM [], value
|
/seL4-l4v-10.1.1/HOL4/src/refute/ |
H A D | Canon.sml | 64 val stm = list_mk_abs(nfvs,etm) value
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
H A D | utilsLib.sml | 1300 val stm = Term.mk_comb (tm, st) handle HOL_ERR _ => tm value
|
/seL4-l4v-10.1.1/HOL4/src/real/ |
H A D | RealArith.sml | 786 val stm = ``$+ :real->real->real`` value
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/ |
H A D | m0_stepLib.sml | 712 val (stm, f, b, v, s) = value
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/ |
H A D | arm_stepLib.sml | 1146 val (stm, f, b, v, s) = value
|
Completed in 225 milliseconds