support generic indices for conjunction (to be able to write conjunction for RST)
support generic indices for conjunction (to be able to write conjunction for RST)

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar