sig
  module Digraph :
    sig
      module Concrete :
        functor (V : Sig.COMPARABLE->
          sig
            type t
            module V :
              sig
                type t = V.t
                val compare : t -> t -> int
                val hash : t -> int
                val equal : t -> t -> bool
                type label = V.t
                val create : label -> t
                val label : t -> label
              end
            module E :
              sig
                type t = V.t * V.t
                val compare : t -> t -> int
                val src : t -> V.t
                val dst : t -> V.t
                type label
                val create : V.t -> label -> V.t -> t
                val label : t -> label
              end
            val is_directed : bool
            val is_empty : t -> bool
            val nb_vertex : t -> int
            val nb_edges : t -> int
            val out_degree : t -> V.t -> int
            val in_degree : t -> V.t -> int
            val mem_vertex : t -> V.t -> bool
            val mem_edge : t -> V.t -> V.t -> bool
            val mem_edge_e : t -> E.t -> bool
            val succ : t -> V.t -> V.t list
            val pred : t -> V.t -> V.t list
            val succ_e : t -> V.t -> E.t list
            val pred_e : t -> V.t -> E.t list
            val iter_vertex : (V.t -> unit) -> t -> unit
            val iter_edges : (V.t -> V.t -> unit) -> t -> unit
            val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
            val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
            val map_vertex : (V.t -> V.t) -> t -> t
            val iter_edges_e : (E.t -> unit) -> t -> unit
            val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
            val iter_succ : (V.t -> unit) -> t -> V.t -> unit
            val iter_pred : (V.t -> unit) -> t -> V.t -> unit
            val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val empty : t
            val add_vertex : t -> V.t -> t
            val remove_vertex : t -> V.t -> t
            val add_edge : t -> V.t -> V.t -> t
            val add_edge_e : t -> E.t -> t
            val remove_edge : t -> V.t -> V.t -> t
            val remove_edge_e : t -> E.t -> t
          end
      module Abstract :
        functor (V : sig type t end->
          sig
            type t
            module V :
              sig
                type t
                val compare : t -> t -> int
                val hash : t -> int
                val equal : t -> t -> bool
                type label = V.t
                val create : label -> t
                val label : t -> label
              end
            module E :
              sig
                type t
                val compare : t -> t -> int
                val src : t -> V.t
                val dst : t -> V.t
                type label
                val create : V.t -> label -> V.t -> t
                val label : t -> label
              end
            val is_directed : bool
            val is_empty : t -> bool
            val nb_vertex : t -> int
            val nb_edges : t -> int
            val out_degree : t -> V.t -> int
            val in_degree : t -> V.t -> int
            val mem_vertex : t -> V.t -> bool
            val mem_edge : t -> V.t -> V.t -> bool
            val mem_edge_e : t -> E.t -> bool
            val succ : t -> V.t -> V.t list
            val pred : t -> V.t -> V.t list
            val succ_e : t -> V.t -> E.t list
            val pred_e : t -> V.t -> E.t list
            val iter_vertex : (V.t -> unit) -> t -> unit
            val iter_edges : (V.t -> V.t -> unit) -> t -> unit
            val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
            val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
            val map_vertex : (V.t -> V.t) -> t -> t
            val iter_edges_e : (E.t -> unit) -> t -> unit
            val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
            val iter_succ : (V.t -> unit) -> t -> V.t -> unit
            val iter_pred : (V.t -> unit) -> t -> V.t -> unit
            val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val empty : t
            val add_vertex : t -> V.t -> t
            val remove_vertex : t -> V.t -> t
            val add_edge : t -> V.t -> V.t -> t
            val add_edge_e : t -> E.t -> t
            val remove_edge : t -> V.t -> V.t -> t
            val remove_edge_e : t -> E.t -> t
          end
      module ConcreteLabeled :
        functor (V : Sig.COMPARABLE->
          functor (E : Sig.ORDERED_TYPE_DFT->
            sig
              type t
              module V :
                sig
                  type t = V.t
                  val compare : t -> t -> int
                  val hash : t -> int
                  val equal : t -> t -> bool
                  type label = V.t
                  val create : label -> t
                  val label : t -> label
                end
              module E :
                sig
                  type t = V.t * E.t * V.t
                  val compare : t -> t -> int
                  val src : t -> V.t
                  val dst : t -> V.t
                  type label = E.t
                  val create : V.t -> label -> V.t -> t
                  val label : t -> label
                end
              val is_directed : bool
              val is_empty : t -> bool
              val nb_vertex : t -> int
              val nb_edges : t -> int
              val out_degree : t -> V.t -> int
              val in_degree : t -> V.t -> int
              val mem_vertex : t -> V.t -> bool
              val mem_edge : t -> V.t -> V.t -> bool
              val mem_edge_e : t -> E.t -> bool
              val succ : t -> V.t -> V.t list
              val pred : t -> V.t -> V.t list
              val succ_e : t -> V.t -> E.t list
              val pred_e : t -> V.t -> E.t list
              val iter_vertex : (V.t -> unit) -> t -> unit
              val iter_edges : (V.t -> V.t -> unit) -> t -> unit
              val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
              val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
              val map_vertex : (V.t -> V.t) -> t -> t
              val iter_edges_e : (E.t -> unit) -> t -> unit
              val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
              val iter_succ : (V.t -> unit) -> t -> V.t -> unit
              val iter_pred : (V.t -> unit) -> t -> V.t -> unit
              val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val empty : t
              val add_vertex : t -> V.t -> t
              val remove_vertex : t -> V.t -> t
              val add_edge : t -> V.t -> V.t -> t
              val add_edge_e : t -> E.t -> t
              val remove_edge : t -> V.t -> V.t -> t
              val remove_edge_e : t -> E.t -> t
            end
      module AbstractLabeled :
        functor (V : sig type t end->
          functor (E : Sig.ORDERED_TYPE_DFT->
            sig
              type t
              module V :
                sig
                  type t
                  val compare : t -> t -> int
                  val hash : t -> int
                  val equal : t -> t -> bool
                  type label = V.t
                  val create : label -> t
                  val label : t -> label
                end
              module E :
                sig
                  type t
                  val compare : t -> t -> int
                  val src : t -> V.t
                  val dst : t -> V.t
                  type label = E.t
                  val create : V.t -> label -> V.t -> t
                  val label : t -> label
                end
              val is_directed : bool
              val is_empty : t -> bool
              val nb_vertex : t -> int
              val nb_edges : t -> int
              val out_degree : t -> V.t -> int
              val in_degree : t -> V.t -> int
              val mem_vertex : t -> V.t -> bool
              val mem_edge : t -> V.t -> V.t -> bool
              val mem_edge_e : t -> E.t -> bool
              val succ : t -> V.t -> V.t list
              val pred : t -> V.t -> V.t list
              val succ_e : t -> V.t -> E.t list
              val pred_e : t -> V.t -> E.t list
              val iter_vertex : (V.t -> unit) -> t -> unit
              val iter_edges : (V.t -> V.t -> unit) -> t -> unit
              val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
              val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
              val map_vertex : (V.t -> V.t) -> t -> t
              val iter_edges_e : (E.t -> unit) -> t -> unit
              val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
              val iter_succ : (V.t -> unit) -> t -> V.t -> unit
              val iter_pred : (V.t -> unit) -> t -> V.t -> unit
              val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val empty : t
              val add_vertex : t -> V.t -> t
              val remove_vertex : t -> V.t -> t
              val add_edge : t -> V.t -> V.t -> t
              val add_edge_e : t -> E.t -> t
              val remove_edge : t -> V.t -> V.t -> t
              val remove_edge_e : t -> E.t -> t
            end
    end
  module Graph :
    sig
      module Concrete :
        functor (V : Sig.COMPARABLE->
          sig
            type t
            module V :
              sig
                type t = V.t
                val compare : t -> t -> int
                val hash : t -> int
                val equal : t -> t -> bool
                type label = V.t
                val create : label -> t
                val label : t -> label
              end
            module E :
              sig
                type t = V.t * V.t
                val compare : t -> t -> int
                val src : t -> V.t
                val dst : t -> V.t
                type label
                val create : V.t -> label -> V.t -> t
                val label : t -> label
              end
            val is_directed : bool
            val is_empty : t -> bool
            val nb_vertex : t -> int
            val nb_edges : t -> int
            val out_degree : t -> V.t -> int
            val in_degree : t -> V.t -> int
            val mem_vertex : t -> V.t -> bool
            val mem_edge : t -> V.t -> V.t -> bool
            val mem_edge_e : t -> E.t -> bool
            val succ : t -> V.t -> V.t list
            val pred : t -> V.t -> V.t list
            val succ_e : t -> V.t -> E.t list
            val pred_e : t -> V.t -> E.t list
            val iter_vertex : (V.t -> unit) -> t -> unit
            val iter_edges : (V.t -> V.t -> unit) -> t -> unit
            val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
            val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
            val map_vertex : (V.t -> V.t) -> t -> t
            val iter_edges_e : (E.t -> unit) -> t -> unit
            val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
            val iter_succ : (V.t -> unit) -> t -> V.t -> unit
            val iter_pred : (V.t -> unit) -> t -> V.t -> unit
            val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val empty : t
            val add_vertex : t -> V.t -> t
            val remove_vertex : t -> V.t -> t
            val add_edge : t -> V.t -> V.t -> t
            val add_edge_e : t -> E.t -> t
            val remove_edge : t -> V.t -> V.t -> t
            val remove_edge_e : t -> E.t -> t
          end
      module Abstract :
        functor (V : sig type t end->
          sig
            type t
            module V :
              sig
                type t
                val compare : t -> t -> int
                val hash : t -> int
                val equal : t -> t -> bool
                type label = V.t
                val create : label -> t
                val label : t -> label
              end
            module E :
              sig
                type t
                val compare : t -> t -> int
                val src : t -> V.t
                val dst : t -> V.t
                type label
                val create : V.t -> label -> V.t -> t
                val label : t -> label
              end
            val is_directed : bool
            val is_empty : t -> bool
            val nb_vertex : t -> int
            val nb_edges : t -> int
            val out_degree : t -> V.t -> int
            val in_degree : t -> V.t -> int
            val mem_vertex : t -> V.t -> bool
            val mem_edge : t -> V.t -> V.t -> bool
            val mem_edge_e : t -> E.t -> bool
            val succ : t -> V.t -> V.t list
            val pred : t -> V.t -> V.t list
            val succ_e : t -> V.t -> E.t list
            val pred_e : t -> V.t -> E.t list
            val iter_vertex : (V.t -> unit) -> t -> unit
            val iter_edges : (V.t -> V.t -> unit) -> t -> unit
            val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
            val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
            val map_vertex : (V.t -> V.t) -> t -> t
            val iter_edges_e : (E.t -> unit) -> t -> unit
            val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
            val iter_succ : (V.t -> unit) -> t -> V.t -> unit
            val iter_pred : (V.t -> unit) -> t -> V.t -> unit
            val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
            val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
            val empty : t
            val add_vertex : t -> V.t -> t
            val remove_vertex : t -> V.t -> t
            val add_edge : t -> V.t -> V.t -> t
            val add_edge_e : t -> E.t -> t
            val remove_edge : t -> V.t -> V.t -> t
            val remove_edge_e : t -> E.t -> t
          end
      module ConcreteLabeled :
        functor (V : Sig.COMPARABLE->
          functor (E : Sig.ORDERED_TYPE_DFT->
            sig
              type t
              module V :
                sig
                  type t = V.t
                  val compare : t -> t -> int
                  val hash : t -> int
                  val equal : t -> t -> bool
                  type label = V.t
                  val create : label -> t
                  val label : t -> label
                end
              module E :
                sig
                  type t = V.t * E.t * V.t
                  val compare : t -> t -> int
                  val src : t -> V.t
                  val dst : t -> V.t
                  type label = E.t
                  val create : V.t -> label -> V.t -> t
                  val label : t -> label
                end
              val is_directed : bool
              val is_empty : t -> bool
              val nb_vertex : t -> int
              val nb_edges : t -> int
              val out_degree : t -> V.t -> int
              val in_degree : t -> V.t -> int
              val mem_vertex : t -> V.t -> bool
              val mem_edge : t -> V.t -> V.t -> bool
              val mem_edge_e : t -> E.t -> bool
              val succ : t -> V.t -> V.t list
              val pred : t -> V.t -> V.t list
              val succ_e : t -> V.t -> E.t list
              val pred_e : t -> V.t -> E.t list
              val iter_vertex : (V.t -> unit) -> t -> unit
              val iter_edges : (V.t -> V.t -> unit) -> t -> unit
              val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
              val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
              val map_vertex : (V.t -> V.t) -> t -> t
              val iter_edges_e : (E.t -> unit) -> t -> unit
              val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
              val iter_succ : (V.t -> unit) -> t -> V.t -> unit
              val iter_pred : (V.t -> unit) -> t -> V.t -> unit
              val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val empty : t
              val add_vertex : t -> V.t -> t
              val remove_vertex : t -> V.t -> t
              val add_edge : t -> V.t -> V.t -> t
              val add_edge_e : t -> E.t -> t
              val remove_edge : t -> V.t -> V.t -> t
              val remove_edge_e : t -> E.t -> t
            end
      module AbstractLabeled :
        functor (V : sig type t end->
          functor (E : Sig.ORDERED_TYPE_DFT->
            sig
              type t
              module V :
                sig
                  type t
                  val compare : t -> t -> int
                  val hash : t -> int
                  val equal : t -> t -> bool
                  type label = V.t
                  val create : label -> t
                  val label : t -> label
                end
              module E :
                sig
                  type t
                  val compare : t -> t -> int
                  val src : t -> V.t
                  val dst : t -> V.t
                  type label = E.t
                  val create : V.t -> label -> V.t -> t
                  val label : t -> label
                end
              val is_directed : bool
              val is_empty : t -> bool
              val nb_vertex : t -> int
              val nb_edges : t -> int
              val out_degree : t -> V.t -> int
              val in_degree : t -> V.t -> int
              val mem_vertex : t -> V.t -> bool
              val mem_edge : t -> V.t -> V.t -> bool
              val mem_edge_e : t -> E.t -> bool
              val succ : t -> V.t -> V.t list
              val pred : t -> V.t -> V.t list
              val succ_e : t -> V.t -> E.t list
              val pred_e : t -> V.t -> E.t list
              val iter_vertex : (V.t -> unit) -> t -> unit
              val iter_edges : (V.t -> V.t -> unit) -> t -> unit
              val fold_vertex : (V.t -> '-> 'a) -> t -> '-> 'a
              val fold_edges : (V.t -> V.t -> '-> 'a) -> t -> '-> 'a
              val map_vertex : (V.t -> V.t) -> t -> t
              val iter_edges_e : (E.t -> unit) -> t -> unit
              val fold_edges_e : (E.t -> '-> 'a) -> t -> '-> 'a
              val iter_succ : (V.t -> unit) -> t -> V.t -> unit
              val iter_pred : (V.t -> unit) -> t -> V.t -> unit
              val fold_succ : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val fold_pred : (V.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_succ_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_succ_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val iter_pred_e : (E.t -> unit) -> t -> V.t -> unit
              val fold_pred_e : (E.t -> '-> 'a) -> t -> V.t -> '-> 'a
              val empty : t
              val add_vertex : t -> V.t -> t
              val remove_vertex : t -> V.t -> t
              val add_edge : t -> V.t -> V.t -> t
              val add_edge_e : t -> E.t -> t
              val remove_edge : t -> V.t -> V.t -> t
              val remove_edge_e : t -> E.t -> t
            end
    end
end