batteriesThread.ml
batteries
batteries.top
batteries.unthreaded
1 2 3 4 5 6 7 8 9 module Mutex = BatMutex module RMutex = BatRMutex let () = BatUnix.lock := RMutex.make (); BatIO.lock := RMutex.make (); BatIO.lock_factory := RMutex.make; BatPervasives.lock := RMutex.make (); ()
1 2 3 4 5 6 7 8 9
module Mutex = BatMutex module RMutex = BatRMutex let () = BatUnix.lock := RMutex.make (); BatIO.lock := RMutex.make (); BatIO.lock_factory := RMutex.make; BatPervasives.lock := RMutex.make (); ()