is_conj : term -> bool
SYNOPSIS
Tests a term to see if it is a conjunction.
DESCRIPTION
is_conj `t1 /\ t2`
returns
true
. If the term is not a conjunction the result is
false
.
FAILURE CONDITIONS
Never fails.
SEE ALSO
dest_conj
,
mk_conj
.