def Format.frac.end_ok
import bend-time-lib@0.4.0.1/format.bend as Formatimport Base
144def Format.frac.end_ok(
145 s: String, acc: U32, off: Nat, +got: Nat
146) -> Result<&2, &2, Format.Error, Format.FracP>:
147 Format.frac.end_ok2(s, acc, off, got, Nat.is_eq(got, 0n))