def AdAuthenc.input_kernel

bend-osdev-aead@0.1.0.0 · authenc.bend:40

import bend-osdev-aead@0.1.0.0/authenc.bend as Authenc
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

40def AdAuthenc.input_kernel(aad: B.Octets, iv: B.Octets, c: B.Octets) -> B.Octets:
41  B.Octets.append(aad, c)

Uses (2)

Used by (2)