Searched defs:b_exp_ext (Results 1 – 1 of 1) sorted by relevance
819 expr_ref a_exp_ext(m), b_exp_ext(m); in mk_mul() local965 expr_ref a_exp_ext(m), b_exp_ext(m); in mk_div() local1127 expr_ref a_exp_ext(m), b_exp_ext(m); in mk_rem() local1531 expr_ref a_exp_ext(m), b_exp_ext(m), c_exp_ext(m); in mk_fma() local