search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

fix #377: field names in uval (and expr, repr) #403

Open amblafont opened 3 years ago

amblafont commented 3 years ago

Representations of types should be in one-to-one correspondance with C types for the put lemmas to be right. Thus they should contain the field names for records.