Module `Imandrakit_log`

Logging utils for ImandraX.

We rely on Logs as a foundation. We have a custom logger able to handle multiple outputs.

module Log_ctx : sig ... end

Logging context.

module Log_event : sig ... end

Events.

module Log_level : sig ... end

Log level

module Log_reader : sig ... end

Log reader.

module Logger : sig ... end

Main logger

module Trace_async : sig ... end