def escalate2

cswap-bend-cli@0.1.0.0 · daemon/collect.bend:34

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

34def escalate2(+h: Maybe<&2, Nat>, +expired: Bool, +thr: U32) -> Bool:
35  match h:
36    case None{}:
37      Bool.not(expired)
38    case Some{x}:
39      Nat.is_ge(Nat.sub(T.full(), x), Nat.sub(U32.to_nat(thr), 1500n))