Source file utils.ml

1
let is_str_empty s = String.compare "" @@ String.trim s == 0