Types
Lock
Methods
acquire
(l:
Lock
)
acquire
(l:
Lock
, cb:
Fun
)
init
(l:
Lock
)
release
(l:
Lock
)