jacket
Search the docs
/
API
Tools
Playground
0.31.0
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
/
done
done
procedure · 1 overload
Source
done
:: (group: *
Wait_Group
)
Parameters
group
:
*
Wait_Group
See also
close
add
wait
lock