The two following functors summarize all known facts about N.
- NBasicProp provides properties of basic functions:
+ - * min max <= <
- NExtraProp provides properties of advanced functions:
pow, sqrt, log2, div, gcd, and bitwise functions.
If necessary, the earlier all-in-one functor
NProp
could be re-obtained via
NBasicProp <+ NExtraProp