def aes.m13

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

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

import Base

131def aes.m13(a: U32) -> U32:
132  aes.c13(U32.and(255, a))

Uses (3)

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

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.m13
bend-osdev-aes@0.1.0.0/PROOF:ap.m13b