Module Metrics

module Metrics: sig .. end
Metrics plugin.

module Metrics_coverage: sig .. end
See Metrics_coverage.