Authenc.AdAuthenc.input_mcgrew: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/authenc.bend as Authenc
Lines 46-47 of bend-osdev-aead@0.1.0.0/authenc.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-aead@0.1.0.0/authenc.bend&start_line=46&end_line=47

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

def AdAuthenc.input_mcgrew(aad: B.Octets, iv: B.Octets, c: B.Octets) -> B.Octets:
  ad.au.mcgrew(aad, iv, c)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/authenc.bend&name=ad.au.mcgrew
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets