Skip to main content

A total function is defined on all inputs and always terminates. Contrast with partial functions.

References:

Total functional programming