The "our earlier" bit should probably be changed too.

Maybe something like "Our current_time function could thus be written like this"?