sender goes through, except for some seemingly simple sequence lemmas about flatten, snoc etc
sender goes through, except for some seemingly simple sequence lemmas about flatten, snoc etc

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