Make.stateval mutable default_mode : Modal.Mode.Modes.key * Mode.tmethod edit : < default_mode : Modal.Mode.Modes.key * Mode.t; edit : edit; modes : Mode.t Mode.Modes.t; timeout : float; .. > -> editmethod modes : 'a -> Mode.t Mode.Modes.tmethod default_mode : 'a -> Modal.Mode.Modes.key * Mode.t