Hacl_Bignum256_bn_to_bytes_be

Function Hacl_Bignum256_bn_to_bytes_be 

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