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