examples/boundedrecursion.pcdt


1
2
3
4
5
6
7
8
9

store(1000; maxSize;)
store(
  ref((
    print(arg0())
    if(not(eq(arg0() maxSize())) incFunc(sum(1; arg0())))
  ))
  incFunc;
)
incFunc(0;)