Searched refs:Poly (Results 1 – 2 of 2) sorted by relevance
79 Poly(u32), enumerator108 Type::Poly(_) => write!(f, "poly"), in fmt()121 matches!(self, Type::Poly(_)) in is_poly()
157 annotation_ir::Type::Poly(_) => veri_ir::Type::BitVector(None), in convert_type()1819 let t = annotation_ir::Type::Poly(poly); in solve_constraints()1948 annotation_ir::Type::Poly(_) | annotation_ir::Type::BitVector => continue, in get_var_type_concrete()1967 annotation_ir::Type::Poly(_) => { in get_var_type_poly()