Searched refs:AnnotationEnv (Results 1 – 2 of 2) sorted by relevance
21 pub struct AnnotationEnv { struct32 impl AnnotationEnv { argument334 pub fn parse_annotations(defs: &[Def], termenv: &TermEnv, typeenv: &TypeEnv) -> AnnotationEnv { in parse_annotations() argument460 AnnotationEnv { in parse_annotations()
5 use crate::annotations::AnnotationEnv;103 annotation_env: &AnnotationEnv, in type_rules_with_term_and_types() argument163 annotation_env: &'a AnnotationEnv, in type_annotations_using_rule() argument1351 annotation_env: &AnnotationEnv, in add_isle_constraints() argument1401 annotation_env: &AnnotationEnv, in add_rule_constraints() argument