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