Function hacspec_chacha20poly1305::chacha20_poly1305_encrypt

pub fn chacha20_poly1305_encrypt(
    key: ChaChaPolyKey, 
    iv: ChaChaPolyIV, 
    aad: &ByteSeq, 
    msg: &ByteSeq
) -> (ByteSeq, Poly1305Tag)