State (imandra-base.Imandra_interactive.History.State)

val len : unit -> int

val get : unit -> t

include Imandra_util.Snapshot_sigs.S

val push : scope:Opentelemetry.Trace.scope option -> unit -> unit

val pop_restore : scope:Opentelemetry.Trace.scope option -> unit -> unit

val pop_delete : scope:Opentelemetry.Trace.scope option -> unit -> unit

val is_empty : unit -> bool

val with_push : 
  scope:Opentelemetry.Trace.scope option ->
  restore_if_ok:bool ->
  ( unit -> 'a ) ->
  'a

val save_named : scope:Opentelemetry.Trace.scope option -> int -> unit

val restore_named : scope:Opentelemetry.Trace.scope option -> int -> unit

val delete_named : scope:Opentelemetry.Trace.scope option -> int -> unit

val pp_named_debug : int CCFormat.printer

val on_change : (int * event) list Imandra_util.Observable.t

val iter_from_oldest : 
  rec_:bool ->
  ?ignore_prelude:bool ->
  ( int -> event -> unit ) ->
  unit

val iter_from_most_recent : 
  rec_:bool ->
  ?ignore_prelude:bool ->
  ( int -> event -> unit ) ->
  unit

val record_event : event -> unit

val record_event_l : event list -> unit

val record_error : ?loc:Imandra_util.Iloc.t -> string -> unit

val record_exn_seen : unit -> unit

val last_env : unit -> Env.t

val set_last_env : Env.t -> unit

val exn_seen : unit -> bool

val n_exn_seen : unit -> int

val error_seen : unit -> bool

val n_error_seen : unit -> int