package lambda-term

  1. Overview
  2. Docs
package lambda-term
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class LTerm_vi.stateSource

val mutable default_mode : Vi.Base.Mode.name * Vi.Base.Mode.t
val mutable timeout : float
method default_mode : Vi.Base.Mode.name * Vi.Base.Mode.t
method edit : Vi.Base.edit
method timeout : float
method vi_edit : edit