syntax_data: {"ast_node_type":"import","tokens":[{"end":36,"kind":"keyword","start":0,"text":"use"}]}
source_snippet: use crate::data_structures::HashMap;
context_before: use super::{AvailableDepth, Cx, NestedGoals};
context_after: use crate::search_graph::EvaluationResult;