----------------------------------------------------------------------
is_res_forall                                          (res_quanTools)
----------------------------------------------------------------------
is_res_forall : (term -> bool)

SYNOPSIS
Tests a term to see if it is a restricted universal quantification.

DESCRIBE
{is_res_forall "!var::P. t"} returns {true}. If the term is not a
restricted universal quantification the result is {false}.

FAILURE
Never fails.

SEEALSO
res_quanTools.mk_res_forall, res_quanTools.dest_res_forall.

----------------------------------------------------------------------