package mirage-profile

  1. Overview
  2. Docs
package mirage-profile
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Trace : sig ... end

Functions that libraries can use to add events to the trace. * * If mirage-profile is compiled with tracing disabled, these are null-ops (or * call the underlying untraced operation, as appropriate). The compiler should * optimise them out in this case.

module Counter : sig ... end

A counter or other time-varying integer value.