def next_word_slow

mylsm-lsm-store@0.6.0.1 · src/hub_sha/core.bend:80

import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
import Base

80# Reverse history: at round t, index j contains W[t-1-j].
81def next_word_slow(+history: List<&2, U32>) -> U32:
82  (small1(get(history, 1n)) + get(history, 6n)
83    + small0(get(history, 14n)) + get(history, 15n) : U32)

Uses (6)

Used by (1)