# Module type Flow.FLOW

    module type FLOW = sig .. end

Signature for edges' flow.

    type t

Type of edges.

    type label

Type of labels on edges.
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