Function hacl_star_sys::chacha20poly1305::Hacl_Chacha20Poly1305_aead_encrypt_

pub unsafe extern "C" fn Hacl_Chacha20Poly1305_aead_encrypt_(
    c: *mut u8, 
    mac: *mut u8, 
    m: *mut u8, 
    mlen: u32, 
    aad1: *mut u8, 
    aadlen: u32, 
    k1: *mut u8, 
    n1: *mut u8
) -> u32