pub(crate) fn keccak_word_with_len(bytes: Vec<SymWord>, len: SymWord) -> SymWord
Computes the keccak_word_with_len symbolic expression helper result.
keccak_word_with_len