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
/
shutdown
shutdown
procedure
Source
shutdown
:: (p: *
Metaprogram_Plugin
)
Parameters
p
:
*
Metaprogram_Plugin
See also
log_help
finish
Jacket
Jacket