# Generated by tools/translator: qualified upstream name -> MoonBit name.
CASE_REWRITE_TAC case_rewrite_tac
HINT_EXISTS_TAC hint_exists_tac
IMP_REWRITE_TAC imp_rewrite_tac
SEQ_IMP_REWRITE_TAC seq_imp_rewrite_tac
TARGET_REWRITE_TAC target_rewrite_tac
type:Annot.t TypeAnnotedTermT
type:Fo_nets.t FoNetsT
type:Fo_nets.term_label FoNetsTermLabel
type:Impconv.annot_conv ImpconvAnnotConv
type:Impconv.annot_mconv ImpconvAnnotMconv
type:Impconv.atomic ImpconvAtomic
type:Impconv.imp_conv ImpconvImpConv
type:Impconv.imp_mconv ImpconvImpMconv
type:Impconv.with_context ImpconvWithContext
type:Tset.t TsetT
type:Type_annoted_term.t TypeAnnotedTermT
type:Variance.t VarianceT
