~/jendhub

def fresh.age

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

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

167def fresh.age(+age: Nat, +ext: Bool, +within: Bool) -> Bool:
168  Nat.is_le(age, 300n) || (ext && within)

Uses (5)

Used by (1)