bool : hol_type
STRUCTURE
SYNOPSIS
Basic type constant.
LIBRARY
Type
DESCRIPTION
The ML variable Type.bool is bound to the type constant bool.
SEEALSO
HOL  Kananaskis-14