Pconfig_io (imandra-base.Imandra_interactive.Pconfig

module Cfg = Imandra_util.Pconfig

val last_timer : float Stdlib.ref

val time : ( 'a -> 'b ) -> 'a -> 'b

val time0 : ( unit -> 'a ) -> 'a

val time_now_as_float : unit -> float

val custom_timer_val : float option Stdlib.ref

val custom_timer_start : unit -> unit

val custom_timer_stop : unit -> float

val custom_timer_elapsed : unit -> float

val protected_bindings : string list Stdlib.ref

val protect_binding : string -> unit

val unprotect_binding : string -> unit

val protected_binding : string -> bool

val set_timeout : scope:Opentelemetry.Trace.scope option -> int -> unit

val in_load_path : Stdlib.String.t -> bool

val add_to_load_path_l : 
  scope:Opentelemetry.Trace.scope option ->
  string list ->
  unit

val add_to_load_path : string -> scope:Opentelemetry.Trace.scope option -> unit

val with_load_path : 
  scope:Opentelemetry.Trace.scope option ->
  string ->
  ( unit -> unit ) ->
  unit

val with_mode_assigned : 
  ?scope:Opentelemetry.Trace.scope ->
  to_:Imandra_util__Pconfig.mode ->
  ( unit -> 'a ) ->
  'a

val with_unroll_depth : 
  ?scope:Opentelemetry.Trace.scope ->
  to_:int ->
  ( unit -> 'a ) ->
  'a

val with_enable_all : 
  ?scope:Opentelemetry.Trace.scope ->
  to_:bool ->
  ( unit -> 'a ) ->
  'a

val with_console_tags : 
  ?scope:Opentelemetry.Trace.scope ->
  to_:Imandra_util__.Console_tag.t list ->
  ( unit -> 'a ) ->
  'a