Commits

Dmitry Grebeniuk  committed 7ffe253

+ Strings.Utf8.String.chop_prefix

  • Participants
  • Parent commits 2a9b7da

Comments (0)

Files changed (1)

File src/cd_Strings.ml

 
             value is_prefix : ~string:string -> ~prefix:string -> bool;
 
+            value chop_prefix : ~string:string -> ~prefix:string -> string;
+
           end
          =
           struct