search

flux-rs / flux

Refinement Types for Rust
MIT License
581 stars 17 forks source link

Refactor primitive operations #645

Closed nilehmann closed 4 weeks ago

nilehmann commented 4 weeks ago

Use a proc macro to generate rules for primitive operations

Fixes https://github.com/flux-rs/flux/issues/644