Type.alpha

alpha : hol_type

STRUCTURE: Type
SYNOPSIS: Common type variable.
LIBRARY: Type
DESCRIPTION: The ML variable Type.alpha is bound to the type variable 'a.
SEEALSO: beta, gamma, delta, bool

HOL Kananaskis-14