Imandrakit_syncmodule Atomic_util : sig ... endmodule Immlock : sig ... endLock with fast read path for immutable data
module LRU_cache : sig ... endLRU cache.
module Lock : sig ... endValue protected by a mutex
module Mvar : sig ... endMVar.
module Once : sig ... endComputed once. Thread safe.
module Switch : sig ... endSwitch to cancel tasks.