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

mk_neg

boolSyntax.mk_neg : (term -> term)

Constructs a negation.

mk_neg "t" returns "~t".

Failure

Fails with mk_neg unless t is of type bool.

See also

boolSyntax.dest_neg, boolSyntax.is_neg