Module Imandra_interactive.Undo

val save_snap0 : scope:Opentelemetry.Trace.scope option -> unit -> unit
val with_save : scope:Opentelemetry.Trace.scope option -> ( commit:( unit -> unit ) -> 'a ) -> 'a

with_save f calls f ~commit and returns the same result as this call. It creates a speculative undo point before calling f; if f calls commit() then this undo point is saved, otherwise it is discarded.

exception E_undo of {
count : int;
}
val pop_n : int -> snap option

Pop n snapshots

val undo_by_count : int -> unit
val undo_parse_count : string -> unit
val undo_back_through : string -> unit

undo back through

module Effect : sig ... end