On Monday, 16 February 2015 at 15:10:29 UTC, Kagamin wrote:
http://digitalmars.com/d/1.0/dbc.htmlin is precondition, body is function body, which expects precondition to pass.
Muchas gracias. (That is, "Thanks much", for the Spanish Speaking Challenged Community. :-))