Attribute Macro concordium_std::init

#[init]

Derive the appropriate export for an annotated init function.

This macro requires the following items to be present

• name="init_name" where "init_name" will be the name of the generated function. It should be unique in the module.

The annotated function must be of a specific type.

TODO:

• Document the expected type.