Member predicate FormatLiteral :: hasPrecision
Holds if the nth conversion specifier has a precision.
predicate
hasPrecision
(
int
n
)