void initialize_vm_array() { DECLARE_VM_BUILTIN(name({"array", "mk"}), array_mk); DECLARE_VM_BUILTIN(name({"mk_array"}), mk_array); DECLARE_VM_BUILTIN(name({"array", "data"}), array_read); DECLARE_VM_BUILTIN(name({"array", "read"}), array_read); DECLARE_VM_BUILTIN(name({"array", "write"}), array_write); DECLARE_VM_BUILTIN(name({"array", "push_back"}), array_push_back); DECLARE_VM_BUILTIN(name({"array", "pop_back"}), array_pop_back); DECLARE_VM_BUILTIN(name({"array", "foreach"}), array_foreach); DECLARE_VM_BUILTIN(name({"array", "iterate"}), array_iterate); DECLARE_VM_CASES_BUILTIN(name({"array", "cases_on"}), array_cases_on); }
void initialize_vm_level() { DECLARE_VM_BUILTIN(name({"level", "zero"}), level_zero); DECLARE_VM_BUILTIN(name({"level", "succ"}), level_succ); DECLARE_VM_BUILTIN(name({"level", "max"}), level_max); DECLARE_VM_BUILTIN(name({"level", "imax"}), level_imax); DECLARE_VM_BUILTIN(name({"level", "param"}), level_param); DECLARE_VM_BUILTIN(name({"level", "global"}), level_global); DECLARE_VM_BUILTIN(name({"level", "meta"}), level_meta); DECLARE_VM_BUILTIN(name({"level", "has_decidable_eq"}), level_has_decidable_eq); DECLARE_VM_BUILTIN(name({"level", "lt"}), level_lt); DECLARE_VM_BUILTIN(name({"level", "lex_lt"}), level_lex_lt); DECLARE_VM_BUILTIN(name({"level", "eqv"}), level_eqv); DECLARE_VM_BUILTIN(name({"level", "normalize"}), level_normalize); DECLARE_VM_BUILTIN(name({"level", "occurs"}), level_occurs); DECLARE_VM_BUILTIN(name({"level", "to_format"}), level_to_format); DECLARE_VM_BUILTIN(name({"level", "to_string"}), level_to_string); DECLARE_VM_BUILTIN(name({"level", "fold"}), level_fold); DECLARE_VM_BUILTIN(name({"level", "instantiate"}), level_instantiate); DECLARE_VM_CASES_BUILTIN(name({"level", "cases_on"}), level_cases_on); }
void initialize_vm_list() { DECLARE_VM_CASES_BUILTIN(name({"list", "cases_on"}), list_cases_on); }