Module Imandra_interactive.Debug_cmd

Small command language to set debug levels.

This allows things like #debug "all", #debug "interactive:2", etc.

val should_enable_color : unit -> bool

Should we enable colors in the current environment?

val setup_color_default : scope:Opentelemetry.Trace.scope option -> unit -> unit

Enable/disable color support based on should_enable_color

val setup : string -> unit

Parsing of "advanced" debug level setting.

val list_debug : unit -> unit

List debug options on stdout.