Searched refs:BitVec (Results 1 – 4 of 4) sorted by relevance
322 ModelType::BitVec(size) => veri_ir::Type::BitVector(*size), in model_type_to_type()353 ModelType::BitVec(None) => annotation_ir::Type::BitVector, in parse_annotations()354 ModelType::BitVec(Some(size)) => { in parse_annotations()
448 ModelType::BitVec(Some(size)) => { in to_sexpr()451 ModelType::BitVec(None) => SExpr::List(vec![SExpr::atom("bv")]), in to_sexpr()
231 BitVec(Option<usize>), enumerator
647 Ok(ModelType::BitVec(width)) in parse_model_type()