def aes.m11

bend-osdev-aes@0.1.0.0 · aes.bend:128

import bend-osdev-aes@0.1.0.0/aes.bend as Aes

import Base

128def aes.m11(a: U32) -> U32:
129  aes.c11(U32.and(255, a))

Uses (3)

U32
U32.and
bend-osdev-aes@0.1.0.0/aes:aes.c11

Used by (5)

bend-osdev-aes@0.1.0.0/PROOF:ap.ex2.l
bend-osdev-aes@0.1.0.0/aes:aes.imix0
bend-osdev-aes@0.1.0.0/PROOF:ap.imixg
bend-osdev-aes@0.1.0.0/PROOF:ap.m11
bend-osdev-aes@0.1.0.0/PROOF:ap.m11b