def age_of

cswap-bend-cli@0.1.0.0 · pollrow.bend:117

import Base
import cswap-bend-cli@0.1.0.0/poll.bend as Poll

117def age_of(fetched: Maybe<&2, U32>, +now: U32) -> Maybe<&2, U32>:
118  match fetched:
119    case Some{f}:
120      Some{Poll.sub0(now, f)}
121    case None{}:
122      None{}