package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type action = | Zed of Zed_edit.action| Start_macro| Stop_macro| Cancel_macro| Play_macro| Insert_macro_counter| Set_macro_counter| Add_macro_counter
val bindings : action list Zed_input.Make(LTerm_key).t Pervasives.refval bind : LTerm_key.t list -> action list -> unitval unbind : LTerm_key.t list -> unitval actions : (action * string) listval doc_of_action : action -> stringval action_of_name : string -> actionval name_of_action : action -> stringval clipboard : Zed_edit.clipboardval macro : action Zed_macro.tclass edit : ?clipboard:Zed_edit.clipboard -> ?macro:action Zed_macro.t -> unit -> object ... end