diff --git a/opentelemetry/Opentelemetry_client/Batch/index.html b/opentelemetry/Opentelemetry_client/Batch/index.html index 27867962..8c801ea2 100644 --- a/opentelemetry/Opentelemetry_client/Batch/index.html +++ b/opentelemetry/Opentelemetry_client/Batch/index.html @@ -5,4 +5,4 @@ ?now:Mtime.t -> ?timeout:Mtime.span -> unit -> - 'a t
make () is a new batch
pop_if_ready ~now b is Some xs, where is xs includes all the elements pushed since the last batch, if the batch ready to be emitted.
A batch is ready to pop if it contains some elements and
batch elements have been pushed, ortimeout was provided, and more than a timeout span has passed since the last pop was ready, orforced,