> Thus if you assume that the function is total and thus does halt, it must run in O(1) time.
Since that's what total means.