From b92159c11e61dfa5c24c6c18feb868564b436c8f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 5 Mar 2026 15:20:38 -0500 Subject: [PATCH] add Meter_provider.emit_l --- src/lib/meter_provider.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/lib/meter_provider.ml b/src/lib/meter_provider.ml index a2481c64..44e2e981 100644 --- a/src/lib/meter_provider.ml +++ b/src/lib/meter_provider.ml @@ -46,6 +46,9 @@ let get_meter ?name ?version ?(attrs : (string * [< Value.t ]) list = []) (** Emit with current meter *) let[@inline] emit (m : Metrics.t) : unit = Emitter.emit (get ()).emit [ m ] +(** Emit a list of metrics with current meter *) +let[@inline] emit_l (ms : Metrics.t list) : unit = Emitter.emit (get ()).emit ms + (** A Meter.t that lazily reads the global at emit time *) let default_meter : Meter.t = get_meter ()