In math texts, this is often written as

Returns: true iff dividend / divisor is defined.

(But not in the current C++ standard text.)
 

-----Ursprüngliche Nachricht-----
Von: Jan Schultke via Std-Proposals <std-proposals@lists.isocpp.org>
Gesendet: Do 15.02.2024 23:10
Betreff: Re: [std-proposals] Integer overflow arithmetic
An: std-proposals@lists.isocpp.org;
CC: Jan Schultke <janschultke@googlemail.com>;

> Returns: true if dividend / divisor is defined.

You can omit the "false otherwise"; to my knowledge, it's not
consistently used in the standard and not seen as necessary. I could
be wrong though and the standard is just inconsistent.