Module Ecaml_value.Valueable

module type S = sig ... end
module type S1 = sig ... end
module Make (M : sig ... end) : S with type t := M.t