search

flux-rs / flux

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

Extend `extern_spec` to refine `impl` of particular traits #607

Closed ranjitjhala closed 6 months ago

ranjitjhala commented 6 months ago

See