package lambda-term

  1. Overview
  2. Docs
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
module KeyTrie : Trie.Intf with type path = Key.t list
type action =
  1. | Switch of name
  2. | Key of Key.t
  3. | KeySeq of Key.t Stdlib.Queue.t
  4. | Custom of unit -> unit
type t = {
  1. name : name;
  2. timeout : float option;
  3. bindings : action KeyTrie.node;
}
module Modes : Stdlib.Map.S with type key = name
type modes = t Modes.t
val name : t -> name
val timeout : t -> float option
val bindings : t -> action KeyTrie.node
val compare : t -> t -> int
val default_mode : 'a Modes.t -> name * 'a
val bind : t -> KeyTrie.path -> action -> unit
val unbind : t -> KeyTrie.path -> unit