~/jendhub

def ad.au.ke

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

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

70def ad.au.ke(~KE: Data, ~KM: Data, k: AdAuthencKey<KE, KM>) -> KE:
71  match k:
72    case AdAuthencKey{ke, km}:
73      ke

Uses (1)

Used by (3)