From e20d0ccfcc307e226a9659d73d2276f3058f4c41 Mon Sep 17 00:00:00 2001
From: Jacques-Pascal Deplaix <jp.deplaix@gmail.com>
Date: Fri, 1 Dec 2017 08:36:14 +0000
Subject: [PATCH] Add String.is_empty

---
 src/core/CCString.cppo.ml | 2 ++
 src/core/CCString.mli     | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/src/core/CCString.cppo.ml b/src/core/CCString.cppo.ml
index 9e588999..9eb3c329 100644
--- a/src/core/CCString.cppo.ml
+++ b/src/core/CCString.cppo.ml
@@ -52,6 +52,8 @@ let init = String.init
 
 let length = String.length
 
+let is_empty s = equal s ""
+
 let rev s =
   let n = length s in
   init n (fun i -> s.[n-i-1])
diff --git a/src/core/CCString.mli b/src/core/CCString.mli
index cb9bbb4f..e3ffb55b 100644
--- a/src/core/CCString.mli
+++ b/src/core/CCString.mli
@@ -54,6 +54,9 @@ val equal : string -> string -> bool
 
 val compare : string -> string -> int
 
+val is_empty : string -> bool
+(** @since NEXT_RELEASE *)
+
 val hash : string -> int
 
 val init : int -> (int -> char) -> string