An implementation of the type system described in The Simple Essence of Algebraic Subtyping (Parreaux 2020), and largely an OCaml fork of Parreaux's work in https://github.com/LPTK/simple-sub.
Support for type inference in the presence of subtyping and polymorphism.