An implementation in OCaml of ML with subtyping (aka MLsub). This is mostly a translation of the one found in The Simple Essence of Algebraic Subtyping by Lionel Parreaux (which originates from this blog post and was implemented in Scala) that I performed in order to understand it better.