strip_abs

boolSyntax.strip_abs : term -> term list * term

Re-exported from Term.strip_abs. See that entry for full documentation.