Traitsยง
- Invert
OrZero - Value that can be inverted
- MulX
Wide - An unreduced widening product (a
WideMul::Output) that can be scaled by the field elementXwhile still unreduced. - Square
- Value that can be multiplied by itself
- WideMul
- A field type that supports widening (unreduced) multiplication.