def AdBlk.hex

import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround

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

62def AdBlk.hex(b: AdBlk) -> String:
63  B.Octets.hex(AdBlk.to_octets(b))

Uses (4)