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