Searched defs:TYPE (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/src/datatype/
H A DEnumType.sml241 val TYPE = type_of(fst(dest_forall(concl REP_11))) value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]
/seL4-l4v-master/HOL4/src/n-bit/
H A DwordsLib.sml2639 val TYPE = mk_type ("cart", [bool, typ]) value
H A DwordsScript.sml4980 val TYPE = mk_type("cart", [bool, typ]) value

Completed in 124 milliseconds