def W64.read_if

bendtorch-load@1.3.0.0 · main.bend:97

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
import 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{}

Uses (5)

Used by (1)