First attempt on implementing Nik's suggestion. Currently getting weird error about environment not having enough elements
First attempt on implementing Nik's suggestion. Currently getting weird error about environment not having enough elements

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