core::qm31::m31_ops::m31_mul

extern fn m31_mul(a: BoundedInt, b: BoundedInt) -> BoundedInt nopanic;