package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val mutable default_mode : Vi.Base.Mode.name * Vi.Base.Mode.tmethod default_mode : Vi.Base.Mode.name * Vi.Base.Mode.tmethod edit : Vi.Base.editmethod modes : Vi.Base.Mode.t Vi.Base.Mode.Modes.tmethod get_register : string -> Vi.Interpret.Register.content optionmethod set_register : string -> Vi.Interpret.Register.content -> unitmethod get_registers : Vi.Interpret.Register.content Vi.Interpret.RegisterMap.tmethod set_registers : Vi.Interpret.Register.content Vi.Interpret.RegisterMap.t ->
unitmethod vi_edit : edit