|
|
| N is neither a variable nor an integer | type_error(integer, N) | ||
|
| N is neither a variable nor an integer | type_error(integer, N) | ||
|
| N is a variable | instantiation_error | ||
| N is neither a variable nor an integer | type_error(integer, N) | ||
| N is an integer < 0 | domain_error(not_less_than_zero, N) | ||