Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

beta

Type.beta : hol_type

Common type variable.

The ML variable Type.beta is bound to the type variable 'b.

See also

Type.alpha, Type.gamma, Type.delta, Type.bool