def usage.of

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

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

235# The first usage row of a slot; None is "no reading".
236def usage.of(+slot: Nat, +us: List<&2, T.Usage>) -> Maybe<&2, T.Usage>:
237  match us:
238    case Nil{}:
239      None{}
240    case Con{u, t}:
241      usage.of.pick(Nat.is_eq(slot, usage.slot(u)), u, usage.of(slot, t))