gamma : hol_type

SYNOPSIS
Common type variable.

LIBRARY
Type

DESCRIBE
The ML variable Type.gamma is bound to the type variable 'c.

SEEALSO  alpha,   beta,   delta,   bool

HOL  Kananaskis 0