search

flux-rs / flux

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

Simplify serialization of fixpoint constraint #727

Closed nilehmann closed 4 weeks ago

nilehmann commented 4 weeks ago

We were adding a bunch of unnecessary parentheses