def ones4

bend-collections-laws-math@1.0.0.0 · src/math/fixed.bend:168

import Base

168# the 1 bits of a value below 16
169def ones4(+n: Nat) -> Nat:
170  match n:
171    case 0n:
172      0n
173    case 1n:
174      1n
175    case 2n:
176      1n
177    case 3n:
178      2n
179    case 4n:
180      1n
181    case 5n:
182      2n
183    case 6n:
184      2n
185    case 7n:
186      3n
187    case 8n:
188      1n
189    case 9n:
190      2n
191    case 10n:
192      2n
193    case 11n:
194      3n
195    case 12n:
196      2n
197    case 13n:
198      3n
199    case 14n:
200      3n
201    case 15n:
202      4n
203    case 16n+m:
204      0n