~/jendhub

def expired_choose

bend-collections@1.0.0.0 · src/containers/lru.bend:439

import bend-collections@1.0.0.0/src/containers/lru.bend as Lru
import Base
import bend-collections@1.0.0.0/src/math/u64.bend as W

439def expired_choose(deadline: W.U64, now: W.U64, immortal: Bool) -> Bool:
440  match immortal:
441    case True{}:
442      False{}
443    case False{}:
444      W.le_signed(deadline, now)

Uses (3)

Used by (1)