Jacket
Search the docs
/
API
Tools
Playground
main
Codex module
← Codex
Codex plugin
get_plugin
init
communication_proc
message
log_help
finish
shutdown
On this page
See also
std
/
Codex
/
finish
finish
procedure
Source
finish
:: (p: *
Metaprogram_Plugin
)
Parameters
p
:
*
Metaprogram_Plugin
See also
message
log_help
shutdown
Jacket
Jacket