Searched refs:convert_type (Results 1 – 3 of 3) sorted by relevance
149 fn convert_type(aty: &annotation_ir::Type) -> veri_ir::Type { in convert_type() function292 tymap.insert(*t, convert_type(ty)); in type_annotations_using_rule()301 let ty = convert_type(ty); in type_annotations_using_rule()316 let ty = convert_type(ty); in type_annotations_using_rule()
302 pub fn convert_type(&mut self, types: TypesRef<'_>, id: ComponentAnyTypeId) -> Result<TypeDef> { in convert_type() method
1776 ComponentItemDef::Type(types.convert_type(types_ref, t)?) in item()