Implement universal quantification in require clauses

flux-rs / flux

Refinement Types for Rust

MIT License

581 stars 17 forks source link

Implement universal quantification in require clauses #629

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

Limited support for universal quantification in requires clauses. Quantification can be used to specify functions, but not to check their body. This is meant to be used in trusted code.