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