def next_words_28

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

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

329def next_words_28() ->
330    {List.append(&2, U32, words_28(), [Trace.next_word(28, 8, words_28())]) == words_29() : List<&2, U32>}:
331    {==}