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