add struct, enum section to guide - Githubissues

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

add struct, enum section to guide #1193

Closed jonhnet closed 1 day ago

jonhnet commented 1 week ago

field accessors removed from operators section; replaced with forward reference