Function hpke::ReceiveExport

pub fn ReceiveExport(
    config: HPKEConfig, 
    ctxt: &HPKECiphertext, 
    skR: &HpkePrivateKey, 
    info: &Info, 
    exporter_context: &ByteSeq, 
    L: usize, 
    psk: Option<Psk>, 
    psk_id: Option<PskId>, 
    pkS: Option<HpkePublicKey>
) -> HpkeByteSeqResult

“single-shot” secret export receiver

def ReceiveExport<MODE>(enc, skR, info, exporter_context, L, ...):
  ctx = Setup<MODE>R(enc, skR, info, ...)
  return ctx.Export(exporter_context, L)