Searched refs:TermTypeSignature (Results 1 – 1 of 1) sorted by relevance
10 use veri_ir::TermSignature as TermTypeSignature;25 pub instantiations_map: HashMap<TermId, Vec<TermTypeSignature>>,44 ) -> HashMap<String, Vec<TermTypeSignature>> { in get_term_signatures_by_name() argument326 fn signature_to_term_type_signature(sig: &Signature) -> TermTypeSignature { in signature_to_term_type_signature() argument327 TermTypeSignature { in signature_to_term_type_signature()