def AdTag.is_eq

bend-osdev-aead@0.1.0.0 · aead.bend:34

import bend-osdev-aead@0.1.0.0/aead.bend as Aead

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

34# Whether two tags are equal, every byte compared (no early exit)
35def AdTag.is_eq(a: B.Octets, b: B.Octets) -> Bool:
36  B.Octets.is_eq(a, b)

Uses (3)

Used by (6)