search

flux-rs / flux

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

Allow encoding inline alias preds into fixpoint #614

Closed nilehmann closed 5 months ago