# Generated by tools/translator: qualified upstream name -> MoonBit name.
ABBREVIATE_CARRYING_TAC abbreviate_carrying_tac
ABBREVIATE_SHR_TAC abbreviate_shr_tac
BIT_PUSH_CONV bit_push_conv
BIT_WORD_SHLADD bit_word_shladd
CHARACTERIZE_INT_MIN_TAC characterize_int_min_tac
CONJ_WORD_EQ_0 conj_word_eq_0
CORE_WORD_AUTO_TAC core_word_auto_tac
DEFINE_WORD_INT_MIN define_word_int_min
DISJ_WORD_EQ_0 disj_word_eq_0
EXPAND_SHIFT_CONV expand_shift_conv
HORN_WORD_AUTO_TAC horn_word_auto_tac
IVAL_LT_0_ELIM_THM ival_lt_0_elim_thm
IVAL_LT_ELIM_THM ival_lt_elim_thm
LSB_CARRYING lsb_carrying
LSB_CARRY_RULE lsb_carry_rule
LSB_SIMP_CONV lsb_simp_conv
MSB_SIMP_CONV msb_simp_conv
OVERAPPROXIMATE_REACHABLE overapproximate_reachable
PURE_WORD_AUTO_RULE pure_word_auto_rule
PURE_WORD_AUTO_TAC pure_word_auto_tac
REACHABLE_STATE_TAC reachable_state_tac
VAL_LT_ELIM_THM val_lt_elim_thm
WORD_AUTO_RULE word_auto_rule
WORD_AUTO_TAC word_auto_tac
WORD_AUTO_TRANSIFY_TAC word_auto_transify_tac
WORD_ISHR_SHLADD word_ishr_shladd
WORD_MUL_SHLADD word_mul_shladd
WORD_NUMERAL_SHLADD word_numeral_shladd
WORD_SHLADD word_shladd_v1
WORD_SHLADD_0 word_shladd_0
WORD_USHR_SHLADD word_ushr_shladd
XSB_CARRYING xsb_carrying
XSB_CARRY_RULE xsb_carry_rule
carrying carrying
is_shr is_shr
word_shladd word_shladd
