universal : term
STRUCTURE
SYNOPSIS
Constant denoting universal quantification.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.universal is bound to the term bool$!.
SEEALSO
HOL  Trindemossen-1