~/jendhub

def hs.stb.up

bend-osdev-hashes@0.1.0.0 · streebog.bend:63

import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
import Base

63def hs.stb.up(n: Nat, ts: List<&2, HsStbTab>) -> List<&2, HsStbTab>:
64  match n:
65    case 0n:
66      ts
67    case 1n+p:
68      hs.stb.up(p, hs.stb.pairs(ts))

Uses (4)

Used by (1)