pub unsafe extern "C" fn Hacl_GenericField32_mul( k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32, aM: *mut u32, bM: *mut u32, cM: *mut u32, )