Module type Accessor__Custom_mappings_intf.S

type ('inner, 'outer, 'kind) accessor
module Equality : sig ... end

An equality can transform any mapping. There is no need for you to provide any functionality of your own.

module Isomorphism : sig ... end
module Field : sig ... end
module Variant : sig ... end
module Constructor : sig ... end
module Getter : sig ... end
module Optional : sig ... end
module Optional_getter : sig ... end
module Nonempty : sig ... end
module Nonempty_getter : sig ... end
module Many : sig ... end
module Many_getter : sig ... end
module Mapper : sig ... end