diff options
Diffstat (limited to 'perl_checker.src/common.mli')
| -rw-r--r-- | perl_checker.src/common.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/perl_checker.src/common.mli b/perl_checker.src/common.mli index 162b6bd..f3a66c7 100644 --- a/perl_checker.src/common.mli +++ b/perl_checker.src/common.mli @@ -187,6 +187,7 @@ val non_index : string -> char -> int val non_rindex_from : string -> int -> char -> int val non_rindex : string -> char -> int val explode_string : string -> char list +val count_matching_char : string -> char -> int val is_uppercase : char -> bool val is_lowercase : char -> bool val char_is_alphanumerical : char -> bool |