def adc.one

import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

import Base

70def adc.one(a: Bin, c: Bool) -> Bin:
71  match c:
72    case False{}:
73      a
74    case True{}:
75      inc(a)

Uses (3)