Searched refs:BitVectorUnknown (Results 1 – 2 of 2) sorted by relevance
92 BitVectorUnknown(u32), enumerator111 Type::BitVectorUnknown(_) => write!(f, "bv"), in fmt()
151 annotation_ir::Type::BitVectorUnknown(..) => veri_ir::Type::BitVector(None), in convert_type()1845 annotation_ir::Type::BitVectorUnknown(_) => { in solve_constraints()1868 let unknown_by_tyvar = annotation_ir::Type::BitVectorUnknown(*v); in solve_constraints()1916 if matches!(t, annotation_ir::Type::BitVectorUnknown(..)) { in solve_constraints()2423 (7, annotation_ir::Type::BitVectorUnknown(7)), in test_solve_constraints()2424 (8, annotation_ir::Type::BitVectorUnknown(7)), in test_solve_constraints()