def expired_choose

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/src/time.bend:33

import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/types/model.bend as T

33def expired_choose(d: T.Int64, now: T.Int64, immortal: Bool) -> Bool:
34  match immortal:
35    case True{}:
36      False{}
37    case False{}:
38      le(d, now)