Snapshot (imandra-base.Imandra_interactive.Reasoning

type t = P.Snapshot.stamp

val dummy : t

val new_named : scope:scope option -> unit -> t

include Imandra_util.Snapshot_sigs.BACKTRACKABLE

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

include Imandra_util.Snapshot_sigs.NAMED with type name := t

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

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

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

val pp_named_debug : t CCFormat.printer