- halts?procedure
would take one (f), two (f, x) or three (f, x, init-store) input parameters, and return two values, a boolean and an integer.
A parameter followed by "..." means zero or more elements.
So the procedure with the signature
would take one (f), two (f, x) or three (f, x, init-store) input parameters, and return two values, a boolean and an integer.
A parameter followed by "..." means zero or more elements.
So the procedure with the signature