vmware-labs / verified-betrfs

A verified high-performance file system
Other
31 stars 10 forks source link

Remove "Op" "Label" suffixes from `enum Label`'s in Splinter (Rust code) #5

Open tenzinhl opened 1 year ago

tenzinhl commented 1 year ago

Note: this issue targets the splinter branch

A style choice. At some point we should remove "-Op" and "-Label" suffixes from labels, because in Rust the labels are already enums and thus namespaced by the name "Label" (as enforced by the state_machine! macro).

An example of this can be found in AbstractMap_v.rs