FStar_Seq_seq -> FStar_Seq_Base_seq
FStar_Seq_seq -> FStar_Seq_Base_seq

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star