~/jendhub

def delay_of

cswap-bend-cli@0.1.0.0 · cliswitch.bend:14

import cswap-bend-cli@0.1.0.0/cliswitch.bend as Cliswitch
import Base

14def delay_of(r: Result<&1, &1, U32 & String, String>) -> U32:
15  match r:
16    case Fail{e}:
17      2000
18    case Done{v}:
19      Maybe.default(&2, U32, U32.read(v), 2000)

Uses (6)

Used by (1)