diff --git a/src/prometheus/tiny_httpd_prometheus.mli b/src/prometheus/tiny_httpd_prometheus.mli index 799db5b2..b634943d 100644 --- a/src/prometheus/tiny_httpd_prometheus.mli +++ b/src/prometheus/tiny_httpd_prometheus.mli @@ -1,4 +1,11 @@ -(** Expose metrics over HTTP in the prometheus format *) +(** Expose metrics over HTTP in the prometheus format. + + This sub-library [tiny_httpd.prometheus] provides definitions + for counters, gauges, and histogram, and endpoints to expose + them for {{: https://prometheus.io/} Prometheus} to scrape them. + + @since 0.16 + *) type tags = (string * string) list