def fz

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64round.bend:79

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

79def fz(+d: Nat) -> {C.fits(d, 0n) == True{} : Bool}:
80  match d:
81    case 0n:
82      {==}
83    case 1n+ +p:
84      fz(p)