strip_pair : term -> term list
STRUCTURE
pairSyntax
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
spine_pair
HOL  Kananaskis-14