spine_pair
pairSyntax.spine_pair : term -> term list
Breaks a paired structure into its constituent pieces.
Example
> pairSyntax.spine_pair (Term `((1,2),(3,4))`);
val it = [“(1,2)”, “3”, “4”]: term list
Comments
Note that spine_pair is similar, but not identical, to strip_pair
which works recursively.
Failure
Never fails.