Function Hacl_NaCl_crypto_secretbox_open_easy 

pub unsafe extern "C" fn Hacl_NaCl_crypto_secretbox_open_easy(
    m: *mut u8,
    c: *mut u8,
    clen: u32,
    n: *mut u8,
    k: *mut u8,
) -> u32