Resettable Counter - Ocaml Typing CST Test