is_neg : term -> bool

SYNOPSIS
Tests a term to see if it is a negation.

DESCRIBE
If M has the form ~t, then is_neg M returns true. If the term is not a negation the result is false.

FAILURE
Never fails.

SEEALSO  mk_neg,   dest_neg

HOL  Kananaskis 0