Common.ml 189 Bytes
Newer Older
1 2 3 4 5
(* Returns the given string surrounded by double quote marks. *)
let quoted s = "\"" ^ s ^ "\"";;

(* Returns true if l is empty, false otherwise. *)
let is_empty l = (List.length l) = 0;;