Add support for `extern_spec` for `trait`

flux-rs / flux

Refinement Types for Rust

MIT License

581 stars 17 forks source link

Closed ranjitjhala closed 6 months ago

ranjitjhala commented 6 months ago

For example, to let us attach associate predicates to (externally defined) traits.