issues
search
flux-rs
/
flux
Refinement Types for Rust
MIT License
660
stars
21
forks
source link
Hoist existentials under Downcast
#842
Closed
nilehmann
closed
1 month ago