strip_pair : (term -> term list)

SYNOPSIS
Iteratively breaks apart tuples.

DESCRIBE
strip_pair("(t1,...,tn)") returns ["t1";...;"tn"]. A term that is not a tuple is simply returned as the sole element of a list. Note that
   strip_pair(list_mk_pair ["t1";...;"tn"])
will not return ["t1";...;"tn"] if tn is a pair or a tuple.

FAILURE
Never fails.

EXAMPLE
#list_mk_pair ["(1,2)";"(3,4)";"(5,6)"];;
"(1,2),(3,4),5,6" : term

#strip_pair it;;
["1,2"; "3,4"; "5"; "6"] : term list

#strip_pair "1";;
["1"] : term list

SEEALSO  list_mk_pair,   dest_pair

HOL  Kananaskis 0