This commit is contained in:
Simon Cruanes 2024-10-03 13:17:05 -04:00
parent 9b6a1d3718
commit 20245d11f3
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,5 +1,4 @@
module Mutex = Picos_std_sync.Mutex
module Chan = Chan
module Condition = Picos_std_sync.Condition
module Lock = Lock
module Event = Event