"@instance:" section

The "@instance:" section is a section used to declared machines of design "instance", created from machines of design "model". See machine design.

Concretely, this section declaration is used only in the model/instance paradigm. Within it, we specify which instances of which types of machines will be available.