sig
  type t
  val pp_print_atom : Format.formatter -> SExprBase.SExprAtom.t -> unit
end