def tu_neg

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:745

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

745def tu_neg(+w: W.U64, bad: Bool) -> Result<&2, &2, N.NumError, W.U64>:
746  match bad:
747    case True{}:
748      Fail{N.Overflow{}}
749    case False{}:
750      Done{w}