Wirespec.wire.ms.pick: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Wirespec Lines 23-29 of emerging-ezhttp@0.21.0.0/src/wirespec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&start_line=23&end_line=29 import Base # a timeout once it is known whether it is 0 def wire.ms.pick(ms: U32, zero: Bool) -> U32: match zero: case True{}: 1 case False{}: ms Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32