list_mk_conj : term list -> term

SYNOPSIS

Constructs the conjunction of a list of terms.

DESCRIPTION

list_mk_conj([`t1`;...;`tn`]) returns `t1 /\ ... /\ tn`.

FAILURE CONDITIONS

Fails with list_mk_conj if the list is empty or if the list has more than one element, one or more of which are not of type `:bool`.

EXAMPLE

  # list_mk_conj [`T`;`F`;`T`];;
  val it : term = `T /\ F /\ T`

  # list_mk_conj [`T`;`1`;`F`];;
  Exception: Failure "mk_binary".

  # list_mk_conj [`1`];;
  val it : term = `1`

SEE ALSO

conjuncts, mk_conj.