That's why I said it's "OCaml-like" followed by a colon: to highlight the similarities. As for why it's an ML dialect, maybe (maybe not) it's more fair to call

That's why I said it's "OCaml-like" followed by a colon: to highlight the similarities. As for why it's an ML dialect, maybe (maybe not) it's more fair to call it "ML-inspired". Nonetheless, it's similar enough to the ML family to be understood by ML programmers. But yes, one of the major pillars of ML—the module system—is conspicuously absent in favor of Haskell-like type classes.