~/jendhub

def fresh.ext

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

import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage
import Base

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

Uses (7)

Used by (1)