Member predicate Char::isLowercase
Holds if the character is not an uppercase letter.
This means it holds for digits and special characters, which matches the behavior of
string.isLowercase().
predicate isLowercase()Holds if the character is not an uppercase letter.
This means it holds for digits and special characters, which matches the behavior of
string.isLowercase().
predicate isLowercase()