Goblint_lib.GraphmlStreaming GraphML output.
module type GraphMlWriter = sig ... endmodule type StringGraphMlWriter = GraphMlWriter with type node = stringmodule XmlGraphMlWriter : StringGraphMlWritermodule ArgNodeGraphMlWriter
(N : MyARG.Node)
(M : StringGraphMlWriter) :
GraphMlWriter with type node = N.tmodule EnumerateNodeGraphMlWriter
(N : Hashtbl.HashedType)
(M : StringGraphMlWriter) :
GraphMlWriter with type node = N.tmodule DeDupGraphMlWriter
(Node : Hashtbl.HashedType)
(M : GraphMlWriter with type node = Node.t) :
GraphMlWriter with type node = Node.t