arb : term
STRUCTURE
SYNOPSIS
Constant denoting arbitrary items.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.arb is bound to the term bool$ARB.
SEEALSO
HOL  Kananaskis-13