[#E23A3A8F9D503DAEE77C088458033A2C97387CBB]
A signed integer type used to represent differences.
using difference_type = std::ptrdiff_t;