mk_neg : term -> term

SYNOPSIS

Constructs a logical negation.

DESCRIPTION

mk_neg `t` returns `~t`.

FAILURE CONDITIONS

Fails with mk_neg unless t is of type bool.

EXAMPLE

  # mk_neg `p /\ q`;;
  val it : term = `~(p /\ q)`

  # mk_neg `~p`;;
  val it : term = `~ ~p`

SEE ALSO

dest_neg, is_neg.