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_google : sig ... end

Emit structured logs in the google format

module Log_level : sig ... end

Log level

module Log_meta : sig ... end
module Log_reader : sig ... end

Log reader.

module Logger : sig ... end

Main logger

module Trace_async : sig ... end