3 ms·Refinement in Rust: optimization, arithmetic, and stateful predicates2 points by todsacerdoti 2y ago