Module arithmetic_traits 

Traits

InvertOrZero

Value that can be inverted

Square

Value that can be multiplied by itself

TaggedInvertOrZero

Invert or zero operation that is parameterized with some some strategy.

TaggedMul

Multiplication that is parameterized with some some strategy.

TaggedSquare

Square operation that is parameterized with some some strategy.