beta : hol_type
STRUCTURE
Type
SYNOPSIS
Common type variable.
LIBRARY
Type
DESCRIPTION
The ML variable
Type.beta
is bound to the type variable
'b
.
SEEALSO
alpha
,
gamma
,
delta
,
bool
HOL
Kananaskis-13