Using a open parameter in a model will automatically be exspaned in system declaration see train-gate example: int N = 10 typedef int[0, N] id_t Process A(id_t id) system A
Using a open parameter in a model will automatically be exspaned in system declaration see train-gate example:
int N = 10
typedef int[0, N] id_t
Process A(id_t id)
system A