functor (X : AdditionalInfo) -> sig val fprint_graph : Format.formatter -> Printer(X).t -> unit val output_graph : out_channel -> Printer(X).t -> unit end