search

flux-rs / flux

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

Use `rty::Sort` for wf #596

Closed nilehmann closed 8 months ago