Parameter Make.1-S

module Key : sig ... end
module Value : sig ... end