struct
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Exporting a struct invariant contract |
|
2 | 75 | April 18, 2025 |
| Partially override gen:custom-write for the display case only |
|
2 | 45 | March 11, 2025 |
| Function and macro to define unique values |
|
9 | 396 | June 27, 2022 |
| Custom equality predicate - in struct/gen:equal+hash or extra function? |
|
1 | 267 | June 19, 2022 |