Searched refs:ConvTo (Results 1 – 4 of 4) sorted by relevance
197 ConvTo, enumerator
537 SpecOp::ConvTo => "conv_to", in to_sexpr()
516 "conv_to" => Ok(SpecOp::ConvTo), in parse_spec_op()
180 SpecOp::ConvTo => binop(Expr::BVConvTo, args, pos, env), in spec_op_to_expr()