Module Metrics

Metrics plugin.

module Metrics_coverage : sig ... end
module Metrics_base : sig ... end
module Metrics_cilast : sig ... end