Searched refs:ConstBitVec (Results 1 – 4 of 4) sorted by relevance
97 ConstBitVec { enumerator
476 SpecExpr::ConstBitVec { val, width, pos: _ } => SExpr::atom(if *width % 4 == 0 { in to_sexpr()
418 return Ok(SpecExpr::ConstBitVec { val, width, pos }); in parse_spec_expr()
292 SpecExpr::ConstBitVec { val, width, pos: _ } => Expr::Const(Const { in spec_to_expr()