~/jendhub

def ad.ec.e

bend-osdev-aead@0.1.0.0 · echainiv.bend:36

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

36def ad.ec.e(~KC: Data, ~Blk: Data, ~enc: KC -> Blk -> Blk, ~blk_to: Blk -> B.Octets, +kc: KC, x: Maybe<&2, Blk>, +o: B.Octets) -> B.Octets:
37  match x:
38    case None{}:
39      o
40    case Some{b}:
41      blk_to(enc(kc, b))

Uses (2)

Used by (1)