sig
  module G :
    sig
      type t
      module V :
        sig
          type t
          val compare : t -> t -> int
          val hash : t -> int
          val equal : t -> t -> bool
          type label = int
          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
    end
  val empty : unit -> G.t
  val copy : G.t -> G.t
  val add_vertex : G.t -> G.V.t -> G.t
  val add_edge : G.t -> G.V.t -> G.V.t -> G.t
  val add_edge_e : G.t -> G.E.t -> G.t
end