Module `Imandra_util.Pconfig`

module State : sig ... end

val time_now : unit -> Unix.tm
val time_now_as_float : unit -> float
val with_unroll_depth : to_:int -> ('a -> 'b) -> 'a -> 'b
val with_enable_all : to_:bool -> ('a -> 'b) -> 'a -> 'b
val with_console_tags : to_:Console_tag.tag list -> ('a -> 'b) -> 'a -> 'b
val with_mode_assigned : to_:State.mode -> ('a -> 'b) -> 'a -> 'b