def next_words_32

qasim-bend-kit@0.1.0.2 · proof/AES_NistKeyScheduleProof.bend:361

import Base
import qasim-bend-kit@0.1.0.2/proof/AES_TraceProof.bend as Trace

361def next_words_32() ->
362    {List.append(&2, U32, words_32(), [Trace.next_word(32, 8, words_32())]) == words_33() : List<&2, U32>}:
363    {==}