search

flux-rs / flux

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

Split trait and impl in surface and fhir #604

Closed nilehmann closed 6 months ago