(* This file is free software, part of containers. See file "license" for more details. *)

include CCString

 This file is free software, part of containers. See file "license" for more details. 

include CCString
