package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
val mutable curr_mode : Mode.t
method bindings : Mode.action Mode.KeyTrie.node
method getMode : Mode.t
method i : Key.t Lwt_mvar.t
method keyin : Key.t -> unit Lwt.t
method o : Key.t Lwt_mvar.t
method setMode : Mode.name -> unit
method timeout : float