is_conj : term -> bool
- SYNOPSIS
-
Tests a term to see if it is a conjunction.
- DESCRIBE
-
If M has the form t1 /\ t2, then is_conj M returns true. If M
is not a conjunction the result is false.
- FAILURE
-
Never fails.
- SEEALSO mk_conj,
dest_conj
HOL Kananaskis 0