sets the pattern variables of the pattern pat to corresponding subexpressions of the nested pseudolist xpr.