def lsc

import bend-kit-collections@0.1.4.1/nat_order.bend as NatOrder

import Base

65def lsc(k: Nat, +p: Lin) -> Lin:
66  match k:
67    case 0n:
68      L{0n, 0n, 0n, 0n, 0n}
69    case 1n+j:
70      ladd(p, lsc(j, p))

Uses (3)