Usage.fresh.ext: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage
Lines 120-123 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=120&end_line=123

import Base

# Trust is extended while the row is failing (consecutive failures > 0, as the
# reference), planned, held or claimed.
def fresh.ext(+now: Nat, +nf: Nat, +np: Maybe<&2, Nat>, +hu: Nat, +cu: Nat) -> Bool:
  Nat.is_gt(nf, 0n) || before.opt(now, np) || Nat.is_lt(now, hu) || Nat.is_lt(now, cu)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&name=before.opt