| <html> | |
| <body> | |
| <h1>"@instance:" section</h1> | |
| <p>The "@instance:" section is a section used to declared machines of design "instance", created from machines of design "model". See <a href="../1_machines/1_1_design.html">machine design</a>.</p> | |
| <p>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.</p> | |
| </body> | |
| </html> |