Module Metrics

module Metrics: sig .. end
Metrics plugin.