alpha : hol_type

SYNOPSIS
Common type variable.

LIBRARY
Type

DESCRIBE
The ML variable Type.alpha is bound to the type variable 'a.

SEEALSO  beta,   gamma,   delta,   bool

HOL  Kananaskis 0