def cr.oct.rep

bend-osdev-crypto@0.1.0.0 · octets.bend:23

import Base

23def cr.oct.rep(n: Nat, +b: U32) -> List<&2, U32>:
24  match n:
25    case 0n:
26      Nil{}
27    case 1n+p:
28      Con{b, cr.oct.rep(p, b)}