pub fn flow_ty() -> Expr
Flow : FlowNetwork → Type — feasible flow satisfying capacity and conservation.
Flow : FlowNetwork → Type