search

flux-rs / flux

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

Use record types in rty #595

Closed nilehmann closed 8 months ago

nilehmann commented 8 months ago

Carry on record sorts from fhir in rty instead of encoding them as tuples. Records are still encoded as tuples in the fixpoint constraint.