list_mk_abs

boolSyntax.list_mk_abs : term list * term -> term

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