3 ms·
Sort of, arithmetic is implemented (through the trait-eval crate) from the Peano axioms. Probably it is not very fast, even in comparison to C++ standards.
by bonzini 6y ago
Sort of, arithmetic is implemented (through the trait-eval crate) from the Peano axioms. Probably it is not very fast, even in comparison to C++ standards.
- Ashymad 6y agoIndeed, could possibly be sped up by using typenum[1] instead of trait-eval, as it is not Peano axioms based. [1] https://docs.rs/typenum/ https://docs.rs/typenum/