Searched defs:bool (Results 1 - 10 of 10) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dacl2encodeLib.sml24 val bool = ``:bool``; value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBool.sml23 datatype bool = datatype bool type
/seL4-l4v-10.1.1/HOL4/src/0/
H A DType.sml65 val bool = Tyapp ((bool_tyid,0),[]) value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DMutual.sml292 local val bool = genvar (Type.bool) value
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml40 val bool = Type.bool value
[all...]
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/utils/
H A DelsaUtils.sml273 val bool = (==`:bool`==) value
300 val bool = (==`:bool`==) value
[all...]
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DType.sml84 val bool = mk_type("bool", []) value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dselftest.sml400 val bool = Type.bool value
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalType-sig.sml30 val bool : hol_type value
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml51 val bool = (==`:bool`==) value

Completed in 105 milliseconds