Imported_set (imandra-base.Imandra_interactive.Imported

module Str_set = Imandra_util.Util.Str_set

val get_imported : unit -> Str_set.t

Set of imported modules

val record_imported : string -> unit

Add imported module

val is_imported : string -> bool

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