Member predicate FormatLiteral :: isZeroPadded
Holds if the nth conversion specifier has zero padding flag (“0”).
predicate
isZeroPadded
(
int
n
)