Module History.State

val len : unit -> int
val get : unit -> t
val with_txn : ( unit -> 'a Imandra_util.Error.result ) -> 'a Imandra_util.Error.result

with_txn f behaves like f(), but undoes any change to the history if f() returns Error _.

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