def expansion_alias

qasim-bend-kit@0.1.0.2 · proof/AES_TraceBridgeProof.bend:26

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

26def expansion_alias() ->
27    {Core.aes256_expand == (+key => Core.aes_expand_key(52n, key)) :
28        @+key: List<&2, U32> -> List<&2, U32>}:
29    {==}