Module `Imandra_util.Console`

Console Output

Print on the console, and provide a dynamic status bar

module Status_line : sig ... end

val printf : Console_tag.tag -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a: Same as Format.printf but takes care of erasing status line

val eprintf : Console_tag.tag -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val pp_out : Console_tag.tag -> string -> unit
val pp_err : Console_tag.tag -> string -> unit

module P : sig ... end

module T = Console_tag

module Capture : sig ... end