Open
Description
We have decided to use "call" to mean a function call expression (see #3079). So we should stop using it to introduce definitions.
We should use a different phrasing to avoid this. For example, instead of:
For every iterator type
X
, there is a corresponding signed integer-like type called the difference type of the iterator.
Consider:
For every iterator type
X
, there is a corresponding signed integer-like type known as the difference type of the iterator.
Or:
The difference type of an iterator type
X
is a corresponding signed integer-like type, determined as specified in [incrementable.traits].