strip_pair : (term -> term list)
strip_pair(list_mk_pair ["t1";...;"tn"])will not return ["t1";...;"tn"] if tn is a pair or a tuple.
#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