~/jendhub

type AdAuthencKey

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

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

34# The two keys
35type AdAuthencKey<-KE: Data, -KM: Data> is Data:
36  AdAuthencKey{ke: KE, km: KM}

Uses (0)

This definition uses no other definition.

Used by (25)