Module type Modal.S

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