def U32.read.if

Base · base.bend:2387

2387def U32.read.if(t: String, n: U32, ok: Bool) -> Maybe<&2, U32>:
2388  match ok:
2389    case True{}:
2390      U32.read.go(t, n)
2391    case False{}:
2392      None{}