Attribute Macro concordium_std::receive

#[receive]

Derive the appropriate export for an annotated receive function.

This macro requires the following items to be present

• name="receive_name" where "receive_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.