Searched defs:types (Results 26 - 44 of 44) sorted by relevance

12

/seL4-l4v-master/HOL4/src/postkernel/
H A DTheory.sig37 val types : string -> (string * int) list value
H A DTheory.sml351 val types = thy_types o norm_name value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DDEBUGGER.sig22 type types type
87 type types = types type
[all...]
H A DPARSETREESIG.sml24 type types; type
166 and types = types type
H A DSTRUCTVALSIG.sml59 and types = type
315 and types = types type
[all...]
H A DTYPETREESIG.sml23 type types; type
243 type types = types type
[all...]
H A DDEBUGGER_.sml571 type types = types type
H A DTYPEIDCODE.sml1367 type types = types type
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DexportLib.sml257 val types = [``VarNat :num -> 'a variable``, value
/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dbreakpoint.c402 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
/seL4-l4v-master/HOL4/src/datatype/mutrec/
H A DRecftn.sml220 val types = get_types (cons_data, Type`:num`, []) value
[all...]
/seL4-l4v-master/HOL4/Manual/Tutorial/
H A Dlogic.tex[all...]
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dacl2encodeLib.sml816 let val types = mapfilter (get_detect_type o rator) a value
H A DencodeLib.sml63 val types = mk_set (map type_of arbs) value
267 let val types = set_diff (type_vars_in_term term) (type_vars basetype) value
1948 let val (types,_) = strip_fun (type_of c) value
[all...]
H A DfunctionEncodeLib.sml1897 val types = for 0 (foldl op+ 0 terms) value
2223 let val types = map (type_of o lhs o concl) destructors value
2353 let val types = map (type_of o rand o lhs o concl) (CONJUNCTS thm) value
4241 let val types = map type_of (fst (strip_forall g)) value
[all...]
/seL4-l4v-master/HOL4/src/1/
H A DPmatch.sml443 val types = map type_of (u::case_functions) value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DTYPECHECK_PARSETREE.sml2309 and types = types type
[all...]
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml2518 val types = snd (match_term base gl) value
2527 val types = snd (match_term (rand base) (rand gl)) value
2555 val types = snd (match_term base gl) value
2610 val types = snd (match_term opr tm) value
[all...]
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml1578 val types = splits [] (col_no - cols) (type_of l) value

Completed in 352 milliseconds

12