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