Module type Modal.S

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