def expiry_choose

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/spec/numeric.bend:56

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

56def expiry_choose(now: T.Int64, duration: T.Int64, forever: Bool) -> T.Int64:
57  match forever:
58    case True{}:
59      T.I64{Word.zero(64n)}
60    case False{}:
61      add(now, milliseconds(duration))