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

/seL4-l4v-master/HOL4/src/bag/
H A DbagLib.sig20 val base_type : term -> hol_type value
H A DbagSyntax.sig18 val base_type : term -> hol_type value
H A DbagSyntax.sml28 fun base_type tm = let function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DpolytypicLib.sig109 val base_type : hol_type -> hol_type value
H A DpolytypicLib.sml796 fun base_type t = function
[all...]

Completed in 87 milliseconds