move Util_mutex to client

This commit is contained in:
Simon Cruanes 2025-12-10 00:55:49 -05:00
parent a0738e59c2
commit 370c2a78d0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
5 changed files with 3 additions and 2 deletions

View file

@ -28,7 +28,7 @@ module Q : sig
number of items that could not be pushed, and [old_size] is the size number of items that could not be pushed, and [old_size] is the size
before anything was pushed. *) before anything was pushed. *)
end = struct end = struct
module UM = Opentelemetry_util.Util_mutex module UM = Util_mutex
type 'a t = { type 'a t = {
mutex: Mutex.t; mutex: Mutex.t;

View file

@ -9,6 +9,7 @@
opentelemetry.proto opentelemetry.proto
opentelemetry.domain opentelemetry.domain
pbrt pbrt
threads.posix
mtime mtime
mtime.clock.os) mtime.clock.os)
(synopsis (synopsis

View file

@ -1,4 +1,4 @@
module UM = Opentelemetry_util.Util_mutex module UM = Util_mutex
type 'a t = { type 'a t = {
mutex: Mutex.t; mutex: Mutex.t;