syntax_data: {"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"#[derive(PartialEq,"}]}
source_snippet: #[derive(PartialEq, Eq, Debug)]
context_before: /// Flooding means assigning a value (by default `⊤`) to all tracked projections of a given place.
context_after: pub enum State<V> {