def Short.gen

bend-kit-fmt@0.1.0.0 · fmt.bend:264

import Base

264def Short.gen(f: Nat, +even: Bool, o: Dig) -> List<&2, U32>:
265  match f:
266    case 0n:
267      Nil{}
268    case 1n+g:
269      match o:
270        case Last{d}:
271          Con{d, Nil{}}
272        case More{d, st}:
273          Con{d, Short.gen(g, even, Short.digit(even, st))}