Avoid open for code stability

polytypic · polytypic · commit 8b399a15fecb · 2025-02-19T20:53:04.000Z
diff --git a/test/test_lock.ml b/test/test_lock.ml
@@ -1,6 +1,6 @@
 open QCheck
 open STM
-open Picos_std_sync
+module Lock = Picos_std_sync.Lock
 
 module Spec = struct
   include SpecDefaults
diff --git a/test/test_mutex.ml b/test/test_mutex.ml
@@ -1,6 +1,6 @@
 open QCheck
 open STM
-open Picos_std_sync
+module Mutex = Picos_std_sync.Mutex
 
 module Spec = struct
   include SpecDefaults
diff --git a/test/test_rwlock.ml b/test/test_rwlock.ml
@@ -1,6 +1,6 @@
 open QCheck
 open STM
-open Picos_std_sync
+module Rwlock = Picos_std_sync.Rwlock
 
 module Spec = struct
   include SpecDefaults
diff --git a/test/test_sem.ml b/test/test_sem.ml
@@ -1,6 +1,6 @@
 open QCheck
 open STM
-open Picos_std_sync
+module Sem = Picos_std_sync.Sem
 
 module Spec = struct
   include SpecDefaults
