Function Hacl_EC_Ed25519_point_decompress 

pub unsafe extern "C" fn Hacl_EC_Ed25519_point_decompress(
    s: *mut u8,
    out: *mut u64,
) -> bool