# Generated by tools/translator: qualified upstream name -> MoonBit name.
Compute.BODY_CONJUNCTS body_conjuncts
Compute.CBV_CONV cbv_conv
Compute.EVAL_CONV eval_conv
Compute.EVAL_RULE eval_rule
Compute.EVAL_TAC eval_tac
Compute.FUNIFY funify
Compute.MK_abs mk_abs
Compute.MK_comb mk_comb
Compute.OR or
Compute.RESTR_EVAL_CONV restr_eval_conv
Compute.RESTR_EVAL_RULE restr_eval_rule
Compute.RESTR_EVAL_TAC restr_eval_tac
Compute.RIGHT_BETA right_beta
Compute.RIGHT_ETA right_eta
Compute.UNFUNIFY unfunify
Compute.WEAK_CBV_CONV weak_cbv_conv
Compute.add_conv add_conv
Compute.add_convs add_convs
Compute.add_extern add_extern
Compute.add_funs add_funs
Compute.add_in_db add_in_db
Compute.add_in_db_upd add_in_db_upd
Compute.add_thms add_thms
Compute.appl appl
Compute.assoc_clause assoc_clause
Compute.auto_import_definitions auto_import_definitions
Compute.basic_compset basic_compset
Compute.beta_thm beta_thm
Compute.bool_compset bool_compset
Compute.bool_redns bool_redns
Compute.cbv_up cbv_up
Compute.cbv_wk cbv_wk
Compute.check_arg_form check_arg_form
Compute.comb_ct comb_ct
Compute.del_consts del_consts
Compute.del_funs del_funs
Compute.deplist deplist
Compute.empty_rws empty_rws
Compute.enter_thm enter_thm
Compute.eq_intro eq_intro
Compute.evaluate evaluate
Compute.extern_of_conv extern_of_conv
Compute.from_list from_list
Compute.from_term from_term
Compute.initial_state initial_state
Compute.inst_one_var inst_one_var
Compute.inst_rw inst_rw
Compute.inst_type_dterm inst_type_dterm
Compute.is_skip is_skip
Compute.key_of key_of
Compute.lazyfy_thm lazyfy_thm
Compute.listItems listitems
Compute.match_const match_const
Compute.match_list match_list
Compute.match_solve match_solve
Compute.match_var match_var
Compute.mk_clos mk_clos
Compute.mk_rewrite mk_rewrite
Compute.monitoring monitoring
Compute.new_compset new_compset
Compute.new_rws new_rws
Compute.partition_skip partition_skip
Compute.push_in_stk push_in_stk
Compute.push_lam_in_stk push_lam_in_stk
Compute.push_skip_stk push_skip_stk
Compute.reduce_cst reduce_cst
Compute.refl_thm refl_thm
Compute.repeat_on_conj repeat_on_conj
Compute.rhs_concl rhs_concl
Compute.rws_of rws_of
Compute.same_const same_const
Compute.scrub_const scrub_const
Compute.scrub_thms scrub_thms
Compute.set_skip set_skip
Compute.set_skip_name set_skip_name
Compute.stack_out stack_out
Compute.stoppers stoppers
Compute.strictify_thm strictify_thm
Compute.strong strong
Compute.strong_up strong_up
Compute.the_compset the_compset
Compute.trans_thm trans_thm
Compute.try_eta try_eta
Compute.try_rwn try_rwn
Compute.unsuitable unsuitable
Compute.with_flag with_flag
exn:Compute.Dead_code Dead_code
exn:Compute.No_match No_match
type:Compute.action Action
type:Compute.cbv_stack CbvStack
type:Compute.clos_rec ClosRec
type:Compute.compset Compset
type:Compute.cst_rec CstRec
type:Compute.db Db
type:Compute.dterm Dterm
type:Compute.fterm Fterm
type:Compute.pattern Pattern
type:Compute.rewrite Rewrite
type:Compute.rewrite_rec RewriteRec
type:Compute.rule_inst RuleInst
type:Compute.stack Stack
type:Compute.transform Transform
type:Compute.try_rec TryRec
