More straightforward printing of tuples in extracted code
More straightforward printing of tuples in extracted code

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar