def wire.ms.pick

emerging-ezhttp@0.21.0.0 · src/wirespec.bend:23

import Base

23# a timeout once it is known whether it is 0
24def wire.ms.pick(ms: U32, zero: Bool) -> U32:
25  match zero:
26    case True{}:
27      1
28    case False{}:
29      ms