Merge pull request #160 from jpdeplaix/String.is_empty

Add `String.is_empty`
This commit is contained in:
Simon Cruanes 2017-12-01 09:43:49 +01:00 committed by GitHub
commit e16d0ee27b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions

View file

@ -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])

View file

@ -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