package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Concurrent : sig ... end
module Query : sig ... end
module Vi : sig ... end
class edit : state -> object ... end
class state : object ... end
val of_lterm_code : LTerm_key.code -> Mew_vi.Key.code
val of_vi_code : Mew_vi.Key.code -> LTerm_key.code
val of_lterm_key : LTerm_key.t -> Mew_vi.Key.t
val of_vi_key : Mew_vi.Key.t -> LTerm_key.t