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.