Actually run goal code.

[goals.git] / src / utils.mli

diff --git a/src/utils.mli b/src/utils.mli
index 0f61751..cb99fad 100644 (file)
--- a/src/utils.mli
+++ b/src/utils.mli
@@ -28,3 +28,9 @@ val filter_map : ('a -> 'b option) -> 'a list -> 'b list
 val string_find : string -> string -> int
 (** [string_find str sub] finds the index of [sub] in [str].  If
     not found, returns -1. *)
+
+val isspace : char -> bool
+val triml : ?test:(char -> bool) -> string -> string
+val trimr : ?test:(char -> bool) -> string -> string
+val trim : ?test:(char -> bool) -> string -> string
+(** Trim strings at left, right or both. *)