Ring.spr

module Ring;

global protocol Ring(role W[0..N]) {
  rec ITER {
    rec RING {
      Ring() from W[i:0..N-1] to W[i+1];
      Ring() from W[N] to W[0];
      continue RING;
    }
    continue ITER;
  }
}