Module Metrics

module Metrics: sig .. end

Metrics plugin.


module Metrics_coverage: sig .. end

See Metrics_coverage.