Jacket
Search the docs
/
API
Tools
Playground
main
Io module
← Io
Sync
make_channel
free_channel
send
try_send
recv
try_recv
close
add
done
wait
lock
try_lock
unlock
notify_one
notify_all
On this page
See also
std
/
Extensions
/
Io
/
add
add
procedure
extension
experimental
Source
Adds
count
tasks to wait for.
add
:: (group: *
Wait_Group
, count := 1)
Parameters
group
:
*
Wait_Group
count
:=
1
See also
try_recv
close
done
wait