Module type Flow.FLOW


module type FLOW = sig .. end
Signature for edges' flow

type label 
type t 

maximum and minimum capacities for a label on an edge
val max_capacity : label -> t
val min_capacity : label -> t

current flow for a label on an edge
val flow : label -> t

+ and - on flows.
val add : t -> t -> t
val sub : t -> t -> t

neutral element for add and sub.
val zero : t

a total ordering over flows
val compare : t -> t -> int