Module Digestif_eq

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