Gen_snap (imandra-base.Imandra_interactive.Interactive_snapshot.Gen

type t

Unique identifier to the snapshot

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

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

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

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

val to_string_debug_all : t -> string

Full debug printing, super verbose