Module Digestif.Eq

module Make : functor (D : sig ... end) -> sig ... end