Graphml (goblint.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 : Stdlib.Hashtbl.HashedType)
  (M : StringGraphMlWriter) : 
  GraphMlWriter with type node = N.t

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