Swap lines so that OPINFIX4 takes precedence over OPINFIX3 in the OCaml lexer
Swap lines so that OPINFIX4 takes precedence over OPINFIX3 in the OCaml lexer

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar