Support for `newtypes` - Githubissues

GaloisInc / cryptol-compiler

BSD 3-Clause "New" or "Revised" License

3 stars 1 forks source link

Open yav opened 1 year ago

yav commented 1 year ago

Cryptol newtypes should be mapped to structs

RyanGlScott commented 8 months ago

We could also map Cryptol enums to Rust enums.