Searched defs:type_names (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/src/1/
H A DPmatchHeuristics.sml16 fun type_names ty = function
H A DPmatch.sml247 fun type_names ty = function
H A DTypeBasePure.sml15 fun type_names ty = function
/seL4-l4v-master/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml176 val type_names = map (#type_name) mut_rec_ty_spec value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DImport.sml15 val type_names = ref [] value
/seL4-l4v-master/HOL4/src/emit/
H A DEmitML.sml965 val type_names = map fst decls value
1073 let val type_names = map fst decls value
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml284 fun type_names ty = function

Completed in 284 milliseconds