~/jendhub

def expired

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/spec/numeric.bend:27

import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/spec/numeric.bend as Numeric
import Base
import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/types/model.bend as T

27def expired(deadline: T.Int64, now: T.Int64) -> Bool:
28  match deadline now:
29    case T.I64{+a} T.I64{+b}:
30      Bool.not(zero(a)) && order(a, b, negative(a), negative(b))

Uses (7)

Used by (1)