To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Concurrent : sig ... endmodule Query : sig ... endmodule Vi : sig ... endclass state : object ... endval of_lterm_code : LTerm_key.code -> Mew_vi.Key.codeval of_vi_code : Mew_vi.Key.code -> LTerm_key.codeval of_lterm_key : LTerm_key.t -> Mew_vi.Key.tval of_vi_key : Mew_vi.Key.t -> LTerm_key.tval perform :
edit ->
'a Zed_edit.context ->
(LTerm_read_line_base.action list ->
'b LTerm_read_line_base.loop_result Lwt.t) ->
Vi.Vi_action.t ->
'b LTerm_read_line_base.loop_result Lwt.t