----------------------------------------------------------------------
strip_pair                                                (pairSyntax)
----------------------------------------------------------------------
strip_pair : term -> term list

LIBRARY
pair

SYNOPSIS
Recursively breaks a paired structure into its constituent pieces.

EXAMPLE

- strip_pair (Term `((1,2),(3,4))`);
> val it = [`1`, `2`, `3`, `4`] : term list




COMMENTS
Note that {strip_pair} is similar, but not identical, to {spine_pair}
which does not work recursively.

FAILURE
Never fails.

SEEALSO
pairSyntax.spine_pair.

----------------------------------------------------------------------