X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenutils.mli;h=da51c70b70e71be5c8861a5ecc46b1a429bea2e8;hp=00b2ff190b4fcd6b3831fd9801159554db212a00;hb=8582d10e7b131ffbfe1d92352e7df39230ce1124;hpb=cb8bbd5621366d5adc82e59bff62bd8cc50d8e85;ds=sidebyside diff --git a/lib/whenutils.mli b/lib/whenutils.mli index 00b2ff1..da51c70 100644 --- a/lib/whenutils.mli +++ b/lib/whenutils.mli @@ -160,3 +160,6 @@ val filter_map : ('a -> 'b option) -> 'a list -> 'b list val string_of_time_t : ?localtime:bool -> float -> string (** Convert string to time in ISO format. If [~localtime] is true then it uses localtime, else UTC. *) + +val string_endswith : string -> string -> bool +(** [string_endswith str suffix] returns true iff [str] ends with [suffix]. *)