pub fn hash_table_kernel(
cr: ClockReset,
i: HashTableIn,
q: HashTableQ,
) -> (HashTableOut, HashTableD)Expand description
Advance admission, synchronous RAM access, or one rollback step. Decisions read the registered snapshot; writes describe the next edge.