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 end