swap arguments to avoid prenex polymorphism (with @nikswamy)
swap arguments to avoid prenex polymorphism (with @nikswamy)

See https://github.com/FStarLang/FStar/wiki/Tips-for-extraction-with-polymorphism-and-erasure

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar