sig
  type atom
  type hyp
  type lemma
  type assumption
  val print_atom : Format.formatter -> Dot.Arg.atom -> unit
  val hyp_info :
    Dot.Arg.hyp ->
    string * string option * (Format.formatter -> unit -> unit) list
  val lemma_info :
    Dot.Arg.lemma ->
    string * string option * (Format.formatter -> unit -> unit) list
  val assumption_info :
    Dot.Arg.assumption ->
    string * string option * (Format.formatter -> unit -> unit) list
end