sig
  type t = HString.t
  val pp_print_atom : Format.formatter -> HString.t -> unit
end