module Field : sig ... end
module Many : sig ... end
val equality : ([> Accessor.Subtyping.equality ], _) t
val isomorphism : 'w Isomorphism.t -> ([> Accessor.Subtyping.isomorphism ], 'w) t
val field : 'w Field.t -> ([> Accessor.Subtyping.field ], 'w) t
val variant : 'w Variant.t -> ([> Accessor.Subtyping.variant ], 'w) t
val constructor : 'w Constructor.t -> ([> Accessor.Subtyping.constructor ], 'w) t
val getter : 'w Getter.t -> ([> Accessor.Subtyping.getter ], 'w) t
val optional : 'w Optional.t -> ([> Accessor.Subtyping.optional ], 'w) t
val optional_getter : 'w Optional_getter.t -> ([> Accessor.Subtyping.optional_getter ], 'w) t
val nonempty : 'w Nonempty.t -> ([> Accessor.Subtyping.nonempty ], 'w) t
val nonempty_getter : 'w Nonempty_getter.t -> ([> Accessor.Subtyping.nonempty_getter ], 'w) t
val many : 'w Many.t -> ([> Accessor.Subtyping.many ], 'w) t
val many_getter : 'w Many_getter.t -> ([> Accessor.Subtyping.many_getter ], 'w) t
val mapper : 'w Mapper.t -> ([> Accessor.Subtyping.mapper ], 'w) t