Modify_state (imandra-base.Imandra_interactive.Define.Modify

val top : 
  scope:Opentelemetry.Trace.scope option ->
  Imandra_surface.Event.modify_state_op ->
  unit

val enable : Imandra_surface.Uid.t -> unit

val disable : Imandra_surface.Uid.t -> unit

val enable_trace : Imandra_surface.Uid.t -> unit

val disable_trace : Imandra_surface.Uid.t -> unit

val disable_trace_all : unit -> unit