Mavryk_event_logging
module Internal_event : sig ... end
This module defines a "structured event logging framework."