dune-action-trace
Dune_action_trace
Actions are allowed to produce events when executed by dune. Such events are aggregated into dune's trace file.
module Event : sig ... end
module Context : sig ... end
module Private : sig ... end