def retry.zero

cswap-bend-cli@0.1.0.0 · usage/req.bend:28

import Base

28def retry.zero(m: Maybe<&2, String>) -> Maybe<&2, U32>:
29  match m:
30    case None{}:
31      None{}
32    case Some{n}:
33      Some{0}