Function Hacl_NaCl_crypto_box_open_detached 

pub unsafe extern "C" fn Hacl_NaCl_crypto_box_open_detached(
    m: *mut u8,
    c: *mut u8,
    tag: *mut u8,
    mlen: u32,
    n: *mut u8,
    pk: *mut u8,
    sk: *mut u8,
) -> u32