Searched refs:TermAnnotation (Results 1 – 2 of 2) sorted by relevance
46 pub struct TermAnnotation { struct56 impl TermAnnotation { implementation59 TermAnnotation { in new()
9 use veri_ir::annotation_ir::{BoundVar, Const, Expr, TermAnnotation, TermSignature, Type};22 pub annotation_map: HashMap<TermId, TermAnnotation>,33 pub fn get_annotation_for_term(&self, term_id: &TermId) -> Option<TermAnnotation> { in get_annotation_for_term() argument378 let annotation = TermAnnotation { in parse_annotations()422 let annotation = TermAnnotation { in parse_annotations()