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