
value write_dvi_file  : string -> string -> list FontMetric.page -> unit;
value write_xdvi_file : string -> string -> list FontMetric.page -> unit;
value write_special   : IO.ostream -> string -> unit;



value write_dvi_file  : string -> string -> list FontMetric.page -> unit;
value write_xdvi_file : string -> string -> list FontMetric.page -> unit;
value write_special   : IO.ostream -> string -> unit;

