Module arithmetic_traits 

Traits

InvertOrZero

Value that can be inverted

MulX

Scales a value by X, the generator of the field’s polynomial basis.

Square

Value that can be multiplied by itself

WideMul

A field type that supports widening (unreduced) multiplication.