Typeclasses: members with names beginning with _ do not get methods#3945
Open
mtzguido wants to merge 1 commit intoFStarLang:masterfrom
Open
Typeclasses: members with names beginning with _ do not get methods#3945mtzguido wants to merge 1 commit intoFStarLang:masterfrom
mtzguido wants to merge 1 commit intoFStarLang:masterfrom
