Modal.Modemodule KeyTrie : sig ... endtype name = Name.ttype t = Mew__Mode.Make(Key)(Name).t = {name : name; |
timeout : float option; |
bindings : action KeyTrie.node; |
}module Modes : sig ... endval timeout : t -> float optionval bindings : t -> action KeyTrie.nodeval bind : t -> KeyTrie.path -> action -> unitval unbind : t -> KeyTrie.path -> unit