Module type FGraph1.T

module type T = sig .. end

module MapV: Mappe.S

Map module for associating attributes to vertices, of type MapV.key

module MapE: Mappe.S  with type key = MapV.key * MapV.key

Map module for associating attributes to edges, of type

MapV.key *
      MapV.key