sig
  type vertex
  type 'a t
  val as_graph : 'a CCGraph.MAP.t -> (CCGraph.MAP.vertex, 'a) CCGraph.graph
  val empty : 'a CCGraph.MAP.t
  val add_edge :
    CCGraph.MAP.vertex ->
    'a -> CCGraph.MAP.vertex -> 'a CCGraph.MAP.t -> 'a CCGraph.MAP.t
  val remove_edge :
    CCGraph.MAP.vertex ->
    CCGraph.MAP.vertex -> 'a CCGraph.MAP.t -> 'a CCGraph.MAP.t
  val add : CCGraph.MAP.vertex -> 'a CCGraph.MAP.t -> 'a CCGraph.MAP.t
  val remove : CCGraph.MAP.vertex -> 'a CCGraph.MAP.t -> 'a CCGraph.MAP.t
  val union : 'a CCGraph.MAP.t -> 'a CCGraph.MAP.t -> 'a CCGraph.MAP.t
  val vertices : 'a CCGraph.MAP.t -> CCGraph.MAP.vertex CCGraph.sequence
  val vertices_l : 'a CCGraph.MAP.t -> CCGraph.MAP.vertex list
  val of_list :
    (CCGraph.MAP.vertex * 'a * CCGraph.MAP.vertex) list -> 'a CCGraph.MAP.t
  val add_list :
    (CCGraph.MAP.vertex * 'a * CCGraph.MAP.vertex) list ->
    'a CCGraph.MAP.t -> 'a CCGraph.MAP.t
  val to_list :
    'a CCGraph.MAP.t -> (CCGraph.MAP.vertex * 'a * CCGraph.MAP.vertex) list
  val of_seq :
    (CCGraph.MAP.vertex * 'a * CCGraph.MAP.vertex) CCGraph.sequence ->
    'a CCGraph.MAP.t
  val add_seq :
    (CCGraph.MAP.vertex * 'a * CCGraph.MAP.vertex) CCGraph.sequence ->
    'a CCGraph.MAP.t -> 'a CCGraph.MAP.t
  val to_seq :
    'a CCGraph.MAP.t ->
    (CCGraph.MAP.vertex * 'a * CCGraph.MAP.vertex) CCGraph.sequence
end