def head.row

cswap-bend-cli@0.1.0.0 · policy/usage.bend:262

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

262# Headroom of a row, if there is a row.
263def head.row(+m: Maybe<&2, T.Usage>, +now: Nat, +ms: List<&2, String>) -> Maybe<&2, Nat>:
264  match m:
265    case None{}:
266      None{}
267    case Some{u}:
268      headroom(u, now, ms)