def ad.au.check

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

import Base
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

82def ad.au.check(ok: Bool) -> Result<&2, &2, Cr.CrError, Unit>:
83  Cr.CrError.check(ok, Cr.CrTagMismatch{})