dest_pselect
pairSyntax.dest_pselect : term -> term * term
Breaks apart a paired choice-term into the selected pair and the body.
dest_pselect is a term destructor for paired choice terms. The
application of dest_select to @pair. t returns (pair,t).
Failure
Fails with dest_pselect if term is not a paired choice-term.