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