# Generated by tools/translator: qualified upstream name -> MoonBit name.
INV inv
RC_CASES rc_cases
RC_CLOSED rc_closed
RC_EXPLICIT rc_explicit
RC_IDEMP rc_idemp
RC_INC rc_inc
RC_INDUCT rc_induct
RC_INV rc_inv
RC_MONO rc_mono
RC_REFL rc_refl
RC_RULES rc_rules
RC_SC rc_sc
RC_SYM rc_sym
RC_TC rc_tc
RC_TRANS rc_trans
RELPOW relpow
RELPOW_M relpow_m
RELPOW_R relpow_r
RELPOW_SEQUENCE relpow_sequence
RSC rsc
RSC_CASES rsc_cases
RSC_CLOSED rsc_closed
RSC_IDEMP rsc_idemp
RSC_INC rsc_inc
RSC_INC_RC rsc_inc_rc
RSC_INC_SC rsc_inc_sc
RSC_INDUCT rsc_induct
RSC_INV rsc_inv
RSC_MONO rsc_mono
RSC_REFL rsc_refl
RSC_SYM rsc_sym
RSTC rstc
RSTC_CASES rstc_cases
RSTC_CASES_L rstc_cases_l
RSTC_CASES_R rstc_cases_r
RSTC_CLOSED rstc_closed
RSTC_IDEMP rstc_idemp
RSTC_INC rstc_inc
RSTC_INC_RC rstc_inc_rc
RSTC_INC_RSC rstc_inc_rsc
RSTC_INC_RTC rstc_inc_rtc
RSTC_INC_SC rstc_inc_sc
RSTC_INC_STC rstc_inc_stc
RSTC_INC_TC rstc_inc_tc
RSTC_INDUCT rstc_induct
RSTC_INV rstc_inv
RSTC_MONO rstc_mono
RSTC_REFL rstc_refl
RSTC_RULES rstc_rules
RSTC_SYM rstc_sym
RSTC_TRANS rstc_trans
RSTC_TRANS_L rstc_trans_l
RSTC_TRANS_R rstc_trans_r
RTC rtc
RTC_CASES rtc_cases
RTC_CASES_L rtc_cases_l
RTC_CASES_R rtc_cases_r
RTC_CLOSED rtc_closed
RTC_IDEMP rtc_idemp
RTC_INC rtc_inc
RTC_INC_RC rtc_inc_rc
RTC_INC_TC rtc_inc_tc
RTC_INDUCT rtc_induct
RTC_INDUCT_L rtc_induct_l
RTC_INDUCT_R rtc_induct_r
RTC_INV rtc_inv
RTC_MONO rtc_mono
RTC_NE_IMP_TC rtc_ne_imp_tc
RTC_REFL rtc_refl
RTC_RELPOW rtc_relpow
RTC_RULES rtc_rules
RTC_STUTTER rtc_stutter
RTC_SYM rtc_sym
RTC_TRANS rtc_trans
RTC_TRANS_L rtc_trans_l
RTC_TRANS_R rtc_trans_r
RULE_INDUCT_TAC rule_induct_tac
SC_CASES sc_cases
SC_CLOSED sc_closed
SC_EXPLICIT sc_explicit
SC_IDEMP sc_idemp
SC_INC sc_inc
SC_INDUCT sc_induct
SC_INV sc_inv
SC_INV_STRONG sc_inv_strong
SC_MONO sc_mono
SC_RC sc_rc
SC_REFL sc_refl
SC_RULES sc_rules
SC_SYM sc_sym
SC_TC sc_tc
STC stc
STC_CASES stc_cases
STC_CASES_L stc_cases_l
STC_CASES_R stc_cases_r
STC_CLOSED stc_closed
STC_IDEMP stc_idemp
STC_INC stc_inc
STC_INC_SC stc_inc_sc
STC_INC_TC stc_inc_tc
STC_INDUCT stc_induct
STC_INV stc_inv
STC_MONO stc_mono
STC_REFL stc_refl
STC_SYM stc_sym
STC_TRANS stc_trans
STC_TRANS_L stc_trans_l
STC_TRANS_R stc_trans_r
SYM_ALT sym_alt
TC_CASES tc_cases
TC_CASES_L tc_cases_l
TC_CASES_R tc_cases_r
TC_CLOSED tc_closed
TC_IDEMP tc_idemp
TC_INC tc_inc
TC_INDUCT tc_induct
TC_INDUCT_L tc_induct_l
TC_INDUCT_R tc_induct_r
TC_INV tc_inv
TC_MONO tc_mono
TC_RC tc_rc
TC_REFL tc_refl
TC_RELPOW tc_relpow
TC_RTC_CASES_L tc_rtc_cases_l
TC_RTC_CASES_R tc_rtc_cases_r
TC_RTC_TC_CASES tc_rtc_tc_cases
TC_RULES tc_rules
TC_SC tc_sc
TC_SYM tc_sym
TC_TC_RTC_CASES tc_tc_rtc_cases
TC_TRANS tc_trans
TC_TRANS_L tc_trans_l
TC_TRANS_R tc_trans_r
TRANS_ALT trans_alt
WF_TC wf_tc
