Searched defs:type_size (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/src/prekernel/
H A DFinalType-sig.sml53 val type_size : hol_type -> int value
/seL4-l4v-master/HOL4/src/0/
H A DType.sml324 fun type_size ty = size 0 [[ty]] function
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DType.sml242 fun type_size ty = size 0 [[ty]] function
/seL4-l4v-master/HOL4/src/1/
H A DTypeBasePure.sig121 val type_size : typeBase -> hol_type -> term value
H A DTypeBasePure.sml787 fun type_size db ty = function

Completed in 149 milliseconds