| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | TYPECHECK_PARSETREE.sml | 406 val typ = processValue h value
|
| /seL4-l4v-10.1.1/HOL4/src/quantHeuristics/ |
| H A D | quantHeuristicsLibParameters.sml | 302 val (typ, types) = let value
|
| /seL4-l4v-10.1.1/HOL4/src/patricia/ |
| H A D | patricia_castsSyntax.sml | 155 let val typ = dest_word_type (dest_set_type (type_of s)) in value
160 let val typ = fst (dest_word_ptree_type (type_of t)) in value
|
| /seL4-l4v-10.1.1/HOL4/src/n-bit/ |
| H A D | wordsScript.sml | 4830 val typ = fcpLib.index_type N value
|
| H A D | wordsLib.sml | 1908 val typ = fcpSyntax.mk_int_numeric_type sz value
2594 val typ = type_of (rand tm) value
2630 val typ = fcpLib.index_type N value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/emit/ |
| H A D | basis_emitScript.sml | 1216 val typ = fcpLib.index_type n value
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/record/ |
| H A D | RecordType.sml | 172 val (typ, types) = let value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/TeX/ |
| H A D | mungeTools.sml | 521 val typ = if OptSet.has TypeOf opts value
|
| H A D | EmitTeX.sml | 410 val typ = fst (dest_var n) value
|
| /seL4-l4v-10.1.1/HOL4/src/HolSmt/ |
| H A D | SmtLib_Parser.sml | 229 val typ = parse_type get_token tydict value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/ |
| H A D | m0.sml | 3372 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | utilsLib.sml | 1026 fun typ name = Type.mk_thy_type {Thy = thy, Args = [], Tyop = name} function
|
| H A D | Import.sml | 18 val typ = "{Thy: string, T: string list, C: string list, N: int list}" value
235 val typ = Type.--> (Term.type_of tm, Ty ty) value
247 val typ = Ty ty value
408 val typ = Type.--> (Type.--> (fty, fty), Type.--> (rty, rty)) value
446 val typ = Ty ty value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 7388 val typ = value
16125 val typ = BitsN.fromBitstring([typ'1,typ'0],2) value
20340 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20394 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20424 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20455 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20479 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20505 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20528 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20548 val typ = EncodeRegShift shift_t value
20565 val typ = EncodeRegShift shift_t value
20596 val typ = EncodeRegShift shift_t value
20622 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
20642 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
21027 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
21094 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
21845 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
21946 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
22030 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
22145 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
22641 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
22708 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
22773 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
22841 val (typ,imm5) = EncodeImmShift(shift_t,shift_n) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
| H A D | arm_evalLib.sml | 495 (13, fn i => let val typ = psrtype i in value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_random_testingLib.sml | 888 val typ = case class value
|