def exp.check
import cswap-bend-cli@0.1.0.0/usage/cred.bend as Credimport Base
71def exp.check(+ok: Bool, +d: String, +now: U32) -> Bool:
72 match ok:
73 case False{}:
74 False{}
75 case True{}:
76 U32.is_ge((now + 300 : U32), Maybe.default(&2, U32, exp.secs(d), 0))