Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

is_conj

boolSyntax.is_conj : term -> bool

Tests a term to see if it is a conjunction.

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.

See also

boolSyntax.mk_conj, boolSyntax.dest_conj