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
/
done
done
procedure
extension
experimental
Source
Marks one task finished.
done
:: (group: *
Wait_Group
)
Parameters
group
:
*
Wait_Group
See also
close
add
wait
lock
Jacket
Jacket