On Friday, 8 February 2013 at 16:11:14 UTC, Ali Çehreli wrote: > As the module writer, I don't know whether my function is going > to be used as an "API function" or as an "internal function" in > somebody else's module. Then it is an API function, as far as I understand DbC, and should never rely on contract to validate input.