sig
  val graph : ?loops:bool -> v:int -> e:int -> unit -> Sig_pack.S.t
  val labeled :
    (Sig_pack.S.V.t -> Sig_pack.S.V.t -> Sig_pack.S.E.label) ->
    ?loops:bool -> v:int -> e:int -> unit -> Sig_pack.S.t
  val gnp : ?loops:bool -> v:int -> prob:float -> unit -> Sig_pack.S.t
  val gnp_labeled :
    (Sig_pack.S.V.t -> Sig_pack.S.V.t -> Sig_pack.S.E.label) ->
    ?loops:bool -> v:int -> prob:float -> unit -> Sig_pack.S.t
end