Jacket
Search the docs
/
API
Tools
Playground
main
Simple_Package module
← Simple_Package
Create
init
add
write
deinit
On this page
See also
std
/
Simple_Package
/
deinit
deinit
procedure
Source
deinit
:: (package: *
Create_Package
)
Parameters
package
:
*
Create_Package
See also
add
write
Jacket
Jacket