| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | protoparamshadow.c | 11 int var; variable
15 int realone(int var) argument
26 int var = 4; variable
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Tptp.sml | 136 fun var i = function
|
| H A D | Term.sig | 13 type var = Name.name type
|
| H A D | Term.sml | 15 type var = Name.name; type
663 val var = varName bv >> (Var o Name.fromString) value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Tptp.sml | 136 fun var i = function
|
| H A D | Term.sig | 13 type var = Name.name type
|
| H A D | Term.sml | 15 type var = Name.name; type
663 val var = varName bv >> (Var o Name.fromString) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | TYPEIDCODE.sml | 1214 val var = vaLocal(idAccess(tcIdentifier(tsConstr typeConstr))) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | TYPECHECK_PARSETREE.sml | 538 val var = mkVar(name, mkTypeVar (level, false, false, false), props) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/unwind/ |
| H A D | unwindLib.sml | 106 else let val var = value
140 val var = #Bvar (dest_forall t) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | congLib.sml | 62 val var = mk_var ("x", hol_type) value
75 val var = mk_var ("x", hol_type) value
|
| /seL4-l4v-10.1.1/HOL4/src/res_quan/src/ |
| H A D | res_quanLib.sml | 112 val (var, a) = dest_forall tm value
134 val (var,pred,conj) = dest_res_forall tm value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/real/ |
| H A D | Diff.sml | 107 val var = variant (frees tm) lreal value
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/ |
| H A D | tactics.sml | 407 val (var,body) = dest_abs bodyf; value
420 val (var,body) = dest_abs bodyf; value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Thread_Data.sml | 10 val var: unit -> 'a var value
23 fun var () : 'a var = Var (Universal.tag ()); function
|
| H A D | Synchronized.sml | 10 val var: string -> 'a -> 'a var value
30 fun var name x = Var function
[all...] |
| H A D | Single_Assignment.sml | 10 val var: string -> 'a var value
26 fun var name = Var function
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | Solve_ineqs.sml | 352 val var value
[all...] |
| H A D | Sol_ranges.sml | 164 val var = hd vars value
|
| /seL4-l4v-10.1.1/HOL4/src/new-datatype/ |
| H A D | Witness.sml | 64 val var = (genvar o fst o dom_rng o type_of) tm value
170 val var = Term.variant (free_vars a) value
|
| H A D | NDatatype.sml | 337 val var = genvar ty value
342 val var = genvar a value
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | jrhCore.sml | 47 val (var, body) = dest_exists tm value
101 val (var, body) = dest_exists tm value
178 val (var, body) = dest_exists tm value
[all...] |
| H A D | CooperMath.sml | 569 val (var, rest) = Lib.pluck is_var mcands value
889 val (var, body) = Psyntax.dest_exists term value
963 val (var, body) = dest_exists tm value
[all...] |
| H A D | CooperCore.sml | 816 val (var, rem) = (I ## SOME) (dest_plus r) value
984 val (var, rem) = (I ## SOME) (dest_plus r) value
1174 val (var, body) = dest_exists tm value
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/record/ |
| H A D | RecordType.sml | 208 val var = Psyntax.mk_var(app_letter typ, typ) value
[all...] |