Module Catapult_fileSource

Logs to a file, if activated.

Profiling is enabled if setup is called, and if the environment variable "TRACE" is set to "1" or "true", or enable was called. The trace is emitted in the file "trace.json" in the directory where the program is launched.

include Catapult.IMPL
Sourceval setup : unit -> unit

Install the catapult logger as a profiling backend.

Sourceval teardown : unit -> unit
Sourceval with_setup : (unit -> 'a) -> 'a
Sourceval enable : unit -> unit

Enable manually

Sourceval set_file : string -> unit

Set output file. Call before setup.