~/jendhub

def aria.rotw.n

bend-osdev-aria@0.1.0.0 · aria.bend:4525

import bend-osdev-aria@0.1.0.0/aria.bend as Aria
import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

4525def aria.rotw.n(n: Nat, b: M.CmBlock) -> M.CmBlock:
4526  match n:
4527    case 0n:
4528      b
4529    case 1n+p:
4530      aria.rotw.n(p, aria.rotw(b))

Uses (3)

Used by (1)