Module Accessor.Equality

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

module Make_access : functor (T : sig ... end) -> sig ... end
module Make_access3 : functor (T : sig ... end) -> sig ... end
module Make_access4 : functor (T : sig ... end) -> sig ... end