Module Accessor__.Subtyping_intf
module type Subtyping = sig ... end with type at_least_one := [ `at_least_one ] and type at_most_one := [ `at_most_one ] and type coerce := [ `coerce ] and type construct := [ `construct ] and type get := [ `get ] and type map := [ `map ]