Creating a branch

Creating a branch involves the following two operations:

1. Create a branch type to enable the instantiations of branches. You do this by running the mkbrtype command.
2. Instantiate a branch. To do so, you use the mkbranch command.

The next two sections cover these two operations.