Searched defs:result_type (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml519 val result_type = mk_type {Tyop=type_name,Args=type_arg_vars} value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1974 val result_type = gen_tyvar(); value
2859 val result_type = with_exn (type_of o rhs o STRIP) sfunction exn1 value
[all...]

Completed in 105 milliseconds