search

flux-rs / flux

Refinement Types for Rust
MIT License
638 stars 18 forks source link

Refactor treatment of generic args of kind base #622

Closed nilehmann closed 7 months ago

nilehmann commented 7 months ago

Create a simplified version of types that can be used inside generic arguments of kind base. This supersedes the need for arguments of kind Spl which have been removed.