bool : hol_type

SYNOPSIS
Basic type constant.

LIBRARY
Type

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

SEEALSO  alpha,   beta,   gamma,   delta

HOL  Kananaskis 0