Searched refs:BV2Int (Results 1 – 4 of 4) sorted by relevance
199 BV2Int, enumerator
547 SpecOp::BV2Int => "bv2int", in to_sexpr()
518 "bv2int" => Ok(SpecOp::BV2Int), in parse_spec_op()
129 SpecOp::BV2Int => unop(Expr::BVToInt, args, pos, env), in spec_op_to_expr()