Refactor: re-order consts to avoid mutual recursive uses

openwsn-berkeley / lakers

EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.

https://crates.io/crates/lakers

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

12 stars 10 forks source link

Refactor: re-order consts to avoid mutual recursive uses #137

Closed geonnave closed 8 months ago

geonnave commented 8 months ago

This is currently a requirement of hax, which for now does not implement mutually recursive definitions. In practice the change re-orders some consts and flattens the consts and structs modules.

geonnave commented 8 months ago

As of the current change, it doesn't complain about the consts ordering anymore.

On the other hand, this now hits one bug with hax, which I tracked here, and according to @W95Psp might be addressed today.