gamma

Type.gamma : hol_type

Common type variable.

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

See also

Type.alpha, Type.beta, Type.delta, Type.bool