functor (B : Builder.INT->
  sig
    type graph = B.G.t
    type vertex = B.G.V.t
    type edge_label = B.G.E.label
    val graph : ?loops:bool -> v:int -> e:int -> unit -> graph
    val labeled :
      (vertex -> vertex -> edge_label) ->
      ?loops:bool -> v:int -> e:int -> unit -> graph
    val random_few_edges : loops:bool -> v:int -> e:int -> graph
    val random_many_edges : loops:bool -> v:int -> e:int -> graph
    val gnp : ?loops:bool -> v:int -> prob:float -> unit -> graph
    val gnp_labeled :
      (vertex -> vertex -> edge_label) ->
      ?loops:bool -> v:int -> prob:float -> unit -> graph
  end