----------------------------------------------------------------------
mk_conj                                                   (boolSyntax)
----------------------------------------------------------------------
mk_conj : term * term -> term

SYNOPSIS
Constructs a conjunction.

DESCRIBE
{mk_conj(t1, t2)} returns the term {t1 /\ t2}.

FAILURE
Fails if {t1} and {t2} do not both have type {bool}.

SEEALSO
boolSyntax.dest_conj, boolSyntax.is_conj, boolSyntax.list_mk_conj,
boolSyntax.strip_conj.

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