is_forall : term -> bool

SYNOPSIS: Tests a term to see if it is a universal quantification.
DESCRIPTION: is_forall `!var. t` returns true. If the term is not a universal quantification the result is false.
FAILURE CONDITIONS: Never fails.
SEE ALSO: dest_forall, mk_forall.