pub unsafe extern "C" fn Hacl_GenericField32_one(
k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32,
oneM: *mut u32,
)pub unsafe extern "C" fn Hacl_GenericField32_one(
k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u32,
oneM: *mut u32,
)