search

au-ts / cogent

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

default keyword for layout definition #385

Open zebraNeon opened 4 years ago

zebraNeon commented 4 years ago

currently for type B = { f1: #{ f1: U8, f2: U8 }, f2: U16 } layout record { f1: default, f2: 2B after f1 }, it will generate record { f1: record { f1: 1B, f2: 1B after f1 }, f2: 2B after f1 }