Report metrics for Prometheus. See: https://prometheus.io/
- This module is intended to be used by applications that export Prometheus metrics. Libraries should only link against the `Prometheus` module.
- This module automatically initialises itself and registers some standard collectors relating to GC statistics, as recommended by Prometheus.
- This extends
Prometheus_appwith support for cmdliner option parsing, a server pre-configured for Unix, and a start-time metric that uses
serve config starts a Cohttp server according to config. It returns a singleton list containing the thread to monitor, or an empty list if no server is configured.
opts is the extra command-line options to offer Prometheus monitoring.
module Logging : sig ... end
Report metrics for messages logged.