def suffix_60

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

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

585def suffix_60() ->
586    {Core.aes_expand.go(0n, 60, 128, words_60()) == words_60() : List<&2, U32>}:
587    {==}