dest_neg : term -> term

SYNOPSIS
Breaks apart a negation, returning its body.

DESCRIPTION
dest_neg is a term destructor for negations: dest_neg `~t` returns `t`.

FAILURE CONDITIONS
Fails with dest_neg if term is not a negation.

SEE ALSO
is_neg, mk_neg.