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