Module Expert.Waves

module type S = sig ... end
module M (Data : sig ... end) (Wave : sig ... end) : sig ... end
module Make (Data : sig ... end) (Wave : sig ... end) : M(Data)(Wave).S