def Format.frac.end_ok2

bend-time-lib@0.4.0.1 · format.bend:135

import Base
import bend-scanner@0.1.0.0/parse.bend as P
import bend-time-lib@0.4.0.1/datetime.bend as DT

135def Format.frac.end_ok2(
136  s: String, acc: U32, off: Nat, got: Nat, z: Bool
137) -> Result<&2, &2, Format.Error, Format.FracP>:
138  match z:
139    case True{}:
140      Fail{BadFraction{off}}
141    case False{}:
142      Done{FracP{DT.Frac{got, acc}, P.Cur{s, off}}}