bool

Type.bool : hol_type

Basic type constant.

The ML variable Type.bool is bound to the type constant bool.

See also

alpha, Type.beta, Type.gamma, Type.delta