Jacket
Search the docs
/
API
Tools
Playground
main
Io module
← Io
Engine
engine_start
engine_stop
requested_backend
new_op
free_op
engine_submit
engine_cancel
engine_wait
finish_op
cancel_op
begin_op
end_op
await_op
error_from_code
error_from_result
internal_completion
On this page
See also
std
/
Extensions
/
Io
/
end_op
end_op
procedure
extension
experimental
since 0.31.0
Source
end_op
:: (op: *
Op
)
Parameters
op
:
*
Op
See also
cancel_op
begin_op
await_op
error_from_code
Jacket