Parameter Make.1-Modal

module Key : Key.S
module Name : Mode.Name
module Mode : module type of sig ... end