Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package mew_vi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Class Make.stateSource
inherit Base.statemethod vi_edit : editval mutable registers : Interpret.Register.content Interpret.RegisterMap.tmethod get_register : Interpret.RegisterMap.key ->
Interpret.Register.content optionmethod set_register : Interpret.RegisterMap.key ->
Interpret.Register.content ->
unitmethod get_registers : Interpret.Register.content Interpret.RegisterMap.tmethod set_registers : Interpret.Register.content Interpret.RegisterMap.t ->
unit