def size_got

gralha-byte-words@0.1.0.0 · words.bend:157

import Base

157def size_got(what: String, r: Result<&1, &1, U32 & String, U32>) -> IO(U32):
158  match r:
159    case Done{n}:
160      IO.pure(U32, n)
161    case Fail{e}:
162      do IO<U32>:
163        Unit <- fail(what, e)
164        IO.die(U32, 1, "unreachable")