def and_low_prev

import bend-collections-laws-math@1.0.0.0/proofs/lib/u32.bend as U32

import Base

200def and_low_prev(d: Nat) -> Nat:
201  match d:
202    case 0n:
203      0n
204    case 1n+k:
205      k

Uses (1)