Make.stateinherit Base.stateval mutable registers : Interpret.Register.content Interpret.RegisterMap.tmethod get_register : 'a ->
Interpret.RegisterMap.key ->
Interpret.Register.content optionmethod set_register : 'a ->
Interpret.RegisterMap.key ->
Interpret.Register.content ->
unitmethod get_registers : 'a -> Interpret.Register.content Interpret.RegisterMap.tmethod set_registers : 'a ->
Interpret.Register.content Interpret.RegisterMap.t ->
unit