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