implied int variables in ocaml side