Function fiat_crypto::p256_32::fiat_p256_sub

pub fn fiat_p256_sub(out1: &mut [u32; 8], arg1: &[u32; 8], arg2: &[u32; 8])