Module Expert.Wave

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