I can't think of any time a double-comma would be syntactically correct. Double-semicolons, which may be what you're referring to, are never required (althoug

I can't think of any time a double-comma would be syntactically correct. Double-semicolons, which may be what you're referring to, are never required (although in some situations they will cause syntax errors to appear closer to the actual problem). They can be placed after all top-level value bindings. Probably your best bet is to follow an intro series so you see some examples (https://dev.realworldocaml.org/ https://dev.realworldocaml.org/ is the best at the moment, I believe), although if you're so inclined you could just read the BNF for the language (https://caml.inria.fr/pub/docs/manual-ocaml/language.html https://caml.inria.fr/pub/docs/manual-ocaml/language.html).