Hacl_Bignum64_bn_to_bytes_be

Function Hacl_Bignum64_bn_to_bytes_be 

Source
pub unsafe extern "C" fn Hacl_Bignum64_bn_to_bytes_be(
    len: u32,
    b: *mut u64,
    res: *mut u8,
)