def aes.m14

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

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

import Base

134def aes.m14(a: U32) -> U32:
135  aes.c14(U32.and(255, a))

Uses (3)

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

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