1\DOC beta
2
3\TYPE {beta : hol_type}
4
5\SYNOPSIS
6Common type variable.
7
8\LIBRARY
9Type
10
11\DESCRIBE
12The ML variable {Type.beta} is bound to the type variable {'b}.
13
14\SEEALSO
15Type.alpha, Type.gamma, Type.delta, Type.bool.
16\ENDDOC
17