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.
