search

flux-rs / flux

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

Allow specifying fields in extern specs for structs #769

Closed nilehmann closed 2 months ago