list_mk_pair : (term list -> term)
#list_mk_pair ["1";"T";"2"];; "1,T,2" : term #list_mk_pair ["1"];; "1" : term