search

flux-rs / flux

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

Implement spec collector as a visitor #777

Closed nilehmann closed 1 month ago