struct 
  type t = HString.t 
  let pp_print_atom = HString.pp_print_hstring 
end