Skip to main content

Module arithmetic_traits

Module arithmetic_traits 

Source

Traitsยง

InvertOrZero
Value that can be inverted
MulXWide
An unreduced widening product (a WideMul::Output) that can be scaled by the field element X while still unreduced.
Square
Value that can be multiplied by itself
WideMul
A field type that supports widening (unreduced) multiplication.