FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code
Apache License 2.0
394 stars 58 forks source link

Use field-init shorthand syntax when creating structs #464

Closed R1kM closed 3 weeks ago

R1kM commented 3 weeks ago

As described in title, when creating a struct, instead of generating, e.g., { mu: mu }, generate { mu }