search

flux-rs / flux

Refinement Types for Rust
MIT License
658 stars 21 forks source link

Support `&strg` , `requires` and `ensures` in function subtyping #891

Closed ranjitjhala closed 4 days ago

ranjitjhala commented 5 days ago

fixes #890