def retry.int

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

import Base

14def retry.int(ps: List<&2, String>) -> Maybe<&2, U32>:
15  match ps:
16    case Con{i, t}:
17      U32.read(i)
18    case Nil{}:
19      None{}