def decode.nonzero

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGenerationIo.bend:42

import Base

42def decode.nonzero(value: U32, is_zero: Bool) -> Result<&1, &1, Error, U32>:
43  match is_zero:
44    case True{}: Fail{Invalid{}}
45    case False{}: Done{value}