def timeout.of

cswap-bend-cli@0.1.0.0 · usage/gate.bend:147

import Base

147def timeout.of(r: Result<&1, &1, U32 & String, String>) -> U32:
148  match r:
149    case Fail{e}:
150      10000
151    case Done{v}:
152      Maybe.default(&2, U32, U32.read(v), 10000)