def W64.read_if
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
97def W64.read_if(ok: Bool, s: String) -> Maybe<&2, W64>:
98 match ok:
99 case True{}: Some{W64.read_go(s, W64{0, 0})}
100 case False{}: None{}
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
97def W64.read_if(ok: Bool, s: String) -> Maybe<&2, W64>:
98 match ok:
99 case True{}: Some{W64.read_go(s, W64{0, 0})}
100 case False{}: None{}