Remove noextract; as a temporary stopgap, to extract these functions, use -warn-error +11 with KreMLin
Remove noextract; as a temporary stopgap, to extract these functions, use -warn-error +11 with KreMLin

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