1\DOC list_mk_pabs
2
3\TYPE {list_mk_pabs : term list * term -> term}
4
5\LIBRARY
6pair
7
8\SYNOPSIS
9Iteratively constructs paired abstractions.
10
11\DESCRIBE
12{list_mk_pabs([p1,...,pn], t)} returns {\p1 ... pn. t}.
13
14\FAILURE
15Fails with {list_mk_pabs} if the terms in the list are not paired
16structures of variables.
17
18\SEEALSO
19boolSyntax.list_mk_abs, pairSyntax.strip_pabs, pairSyntax.mk_pabs.
20\ENDDOC
21