axiolid_exact

Module arith

Source
Expand description

The arithmetic both evaluation tiers share.

Traitsยง

Arith
A number system an expression can be evaluated in.