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 ... endmodule Make_access3 : functor (T : sig ... end) -> sig ... endmodule Make_access4 : functor (T : sig ... end) -> sig ... end