checkedint call removal

via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 30 03:17:58 PDT 2014

Previous message: checkedint call removal
Next message: checkedint call removal
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Let's try to me more formal about it then.

"assert(X)" means: !(X) || bottom

"assume(X)" means: X

Previous message: checkedint call removal
Next message: checkedint call removal
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Digitalmars-d mailing list