search

flux-rs / flux

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

Basic support for `union` #855

Closed ranjitjhala closed 1 month ago

ranjitjhala commented 1 month ago
  1. No refinements allowed,
  2. Otherwise, treated just like struct