fix make_alias_definitions for catlab compatibility
#140
| Job | Run time |
|---|---|
| 0s | |
| 0s |
make_alias_definitions for catlab compatibility
#140
| Job | Run time |
|---|---|
| 0s | |
| 0s |