Mutex.ExpertSourceVersions of the functions in Capsule.Sync.Mutex.Expert which take a Parallel_kernel.t instead of an Await.t.
val with_access :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Access.t ->
'a @ unique once portable contended) @ local once) @ local once portable unyielding ->
'a @ unique once portable contendedval with_access_poisoning :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Access.t ->
'a @ unique portable contended) @ local once) @ local once portable unyielding ->
'a @ unique once portable contendedval with_access_or_cancel :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
Await.Cancellation.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Access.t ->
'a @ unique portable contended) @ local once) @ local once portable unyielding ->
'a Await.Or_canceled.t @ unique once portable contendedval with_access_or_cancel_poisoning :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
Await.Cancellation.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Access.t ->
'a @ unique portable contended) @ local once) @ local once portable unyielding ->
'a Await.Or_canceled.t @ unique once portable contendedval with_password :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Password.t @ local ->
'a @ unique) @ local once) @ local once unyielding ->
'a @ uniqueval with_password_poisoning :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Password.t @ local ->
'a @ unique) @ local once) @ local once unyielding ->
'a @ uniqueval with_password_or_cancel :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
Await.Cancellation.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Password.t @ local ->
'a @ unique) @ local once) @ local once unyielding ->
'a Await.Or_canceled.t @ uniqueval with_password_or_cancel_poisoning :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
Await.Cancellation.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Password.t @ local ->
'a @ unique) @ local once) @ local once unyielding ->
'a Await.Or_canceled.t @ uniqueval with_key_poisoning :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Key.t @ unique ->
#('a * 'k Await.Capsule.Prim.Key.t) @ unique once) @ local once) @ local once unyielding ->
'a @ unique onceval with_key_or_cancel_poisoning :
('a : value_or_null) 'k. Parallel_kernel.t @ local ->
Await.Cancellation.t @ local ->
'k t @ local ->
f:
(Parallel_kernel.t @ local ->
('k Await.Capsule.Prim.Key.t @ unique ->
#('a * 'k Await.Capsule.Prim.Key.t) @ unique once) @ local once) @ local once unyielding ->
'a Await.Or_canceled.t @ unique once