Pretty clear, now huh?
I'm curious if you can find an existing computer language that implements both assume and assert and draws some sort of semantic distinction between them.
bearophile's Microsoft C++ example isn't one of them, as it is nothing more than a workaround for the C Standard requiring assert to be a macro.
