core::qm31::m31_ops::m31_div

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