examples/boundedrecursion.pcdt


1
2
3
4
5
6
7
8
9
10
11

store(1000, "maxSize");
store(
  ref((
    print(arg0);
    if(none(eq(arg0, maxSize))
      incFunc(sum(1, arg0));
    )
  ));
  "incFunc";
);
incFunc(0);