list_mk_pabs : term list * term -> term
STRUCTURE
pairSyntax
LIBRARY
pair
SYNOPSIS
Iteratively constructs paired abstractions.
DESCRIPTION
list_mk_pabs([p1,...,pn], t)
returns
\p1 ... pn. t
.
FAILURE
Fails with
list_mk_pabs
if the terms in the list are not paired structures of variables.
SEEALSO
list_mk_abs
,
strip_pabs
,
mk_pabs
HOL
Trindemossen-1