search

flux-rs / flux

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

Expose `InferCtxt` scoping to clients and remove `solve` #729

Closed nilehmann closed 4 weeks ago