X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.mli;h=8edfaae7ed113e22ed2c775da491a1aa6691f43d;hb=77f9b77c4f58dc4f149050e1d4a0ee36f91d8493;hp=bbb8670f259f79051fdab68f4232717fabbfaf62;hpb=c07380a3a4dca44a29df4cb09265d10442c1d06f;p=goals.git

diff --git a/src/utils.mli b/src/utils.mli
index bbb8670..8edfaae 100644
--- a/src/utils.mli
+++ b/src/utils.mli
@@ -35,6 +35,12 @@ val string_find : string -> string -> int
 (** [string_find str sub] finds the index of [sub] in [str].  If
     not found, returns -1. *)
 
+val split : string -> string -> string * string
+(** [split sep str] splits [str] at the first occurrence of the
+    separator [sep], returning the part before and the part after.
+    If separator is not found, return the whole string and an
+    empty string. *)
+
 val nsplit : ?max:int -> string -> string -> string list
 (** [nsplit ?max sep str] splits [str] into multiple strings at each
     separator [sep].