def expand
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Coreimport Base
95# Handle expand in the SHA-256 compression implementation.
96def expand(rounds_left: Nat, +history: List<&2, U32>) -> List<&2, U32>:
97 match rounds_left:
98 case 0n:
99 Nil{}
100 case 1n+p:
101 +w = next_word(history)
102 w <> expand(p, w <> history)