Non-primitive total recursive function

ID: non-primitive-total-recursive-function

New to topics? Read the docs here!