sig
  type t = Cstring.cst
  val compare : 'a -> 'a -> int
  val pretty : Format.formatter -> Cstring.cst -> unit
  val hash : Cstring.STR.t -> int
end