Caml_snap (imandra-base.Imandra_interactive.Caml

Snapshot of OCaml's global state

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