search

flux-rs / flux

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

Lower/conv/refine higher ranked existential predicates #772

Closed nilehmann closed 1 week ago

nilehmann commented 1 week ago

Fixes #742