def fz

bend-collections-laws-math@1.0.0.0 · proofs/math/random/fround.bend:50

import Base
import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as C

50def fz(+d: Nat) -> {C.fits(d, 0n) == True{} : Bool}:
51  match d:
52    case 0n:
53      {==}
54    case 1n+ +p:
55      fz(p)