Other items inmiracl32::x448::hpke
pub fn authdecap( config_id: usize, skR: &[u8], z: &mut [u8], pkE: &[u8], pkR: &[u8], pkS: &[u8])