Graphml (p.goblint.2.0.0.doc.goblint.lib.Goblint

module type GraphMlWriter = sig ... end

module type StringGraphMlWriter = GraphMlWriter with type node = string

module XmlGraphMlWriter : StringGraphMlWriter

module ArgNodeGraphMlWriter
  (N : MyARG.Node)
  (M : StringGraphMlWriter) : 
  GraphMlWriter with type node = N.t

module EnumerateNodeGraphMlWriter
  (N : Hashtbl.HashedType)
  (M : StringGraphMlWriter) : 
  GraphMlWriter with type node = N.t

module DeDupGraphMlWriter
  (Node : Hashtbl.HashedType)
  (M : GraphMlWriter with type node = Node.t) : 
  GraphMlWriter with type node = Node.t