module type FLOW =Signature for edges' flow.sig
..end
type
t
type
label
val max_capacity : label -> t
val min_capacity : label -> t
val flow : label -> t
+
and -
on flows.val add : t -> t -> t
val sub : t -> t -> t
add
and sub
.val zero : t
val compare : t -> t -> int