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