Searched refs:model_map (Results 1 – 2 of 2) sorted by relevance
29 pub model_map: HashMap<TypeId, annotation_ir::Type>, field336 let mut model_map = HashMap::new(); in parse_annotations() localVariable358 model_map.insert(type_id, ir_type); in parse_annotations()463 model_map, in parse_annotations()
1382 if let Some(ir_type) = annotation_env.model_map.get(isle_type_id) { in add_isle_constraints()