sig
  val fprint_graph : Format.formatter -> t -> unit
  val output_graph : Pervasives.out_channel -> t -> unit
end