Usage.fresh.at: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage
Lines 170-178 of cswap-bend-cli@0.1.0.0/policy/usage.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&start_line=170&end_line=178

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

# A reading is decision-grade when it is at most 300 s old, or its trust is
# extended (the row is failing, planned, held or claimed) and within the
# ceiling of `within.ceiling`.
def fresh.at(+fa: Maybe<&2, Nat>, +now: Nat, +e: T.ErrKind, +nf: Nat, +np: Maybe<&2, Nat>, +hu: Nat, +cu: Nat, +soonest: Maybe<&2, Nat>) -> Bool:
  match fa:
    case None{}:
      False{}
    case Some{f}:
      fresh.age(Nat.sub(now, f), fresh.ext(now, nf, np, hu, cu), within.ceiling(e, Nat.sub(now, f), now, soonest))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=ErrKind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=fresh.age
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=fresh.ext
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=within.ceiling