ind : hol_type
SYNOPSIS
Basic type constant.
LIBRARY
Type
DESCRIBE
The ML variable
Type.ind
is bound to the type constant
ind
.
SEEALSO
alpha
,
beta
,
gamma
,
delta
,
bool
HOL
Kananaskis 0