is_neg : term -> bool
SYNOPSIS
Tests a term to see if it is a logical negation.
DESCRIPTION
is_neg `~t`
returns
true
. If the term is not a logical negation the result is
false
.
FAILURE CONDITIONS
Never fails.
SEE ALSO
dest_neg
,
mk_neg
.