def sbb.one

bend-lawful-stdlib@0.1.0.0 · src/float/bin.bend:106

import Base

106def sbb.one(a: Bin, w: Bool) -> Bin:
107  match w:
108    case False{}:
109      a
110    case True{}:
111      dec(a)