ImmT tc_types0value_src0cal() { tc_types_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; #line 153 c_rt_lib0move(&___nl__2, ptd0none()); #line 153 c_rt_lib0move(&___nl__3, ptd0none()); #line 153 c_rt_lib0move(&___nl__4, ptd0none()); #line 153 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(3, ___get_global_const(979), ___nl__2, ___get_global_const(980), ___nl__3, ___get_global_const(985), ___nl__4)); #line 153 c_rt_lib0clear(&___nl__2); #line 153 c_rt_lib0clear(&___nl__3); #line 153 c_rt_lib0clear(&___nl__4); #line 153 c_rt_lib0move(&___nl__0, ptd0var(___nl__1)); #line 153 c_rt_lib0clear(&___nl__1); #line 153 return ___nl__0; #line 153 c_rt_lib0clear(&___nl__0); #line 153 return NULL; }
ImmT boolean_t0type0cal() { boolean_t_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; #line 9 c_rt_lib0move(&___nl__2, ptd0none()); #line 9 c_rt_lib0move(&___nl__3, ptd0none()); #line 9 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(2, ___get_global_const(6), ___nl__2, ___get_global_const(7), ___nl__3)); #line 9 c_rt_lib0clear(&___nl__2); #line 9 c_rt_lib0clear(&___nl__3); #line 9 c_rt_lib0move(&___nl__0, ptd0var(___nl__1)); #line 9 c_rt_lib0clear(&___nl__1); #line 9 return ___nl__0; #line 9 c_rt_lib0clear(&___nl__0); #line 9 return NULL; }
ImmT tc_types0check_info0cal() { tc_types_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; ImmT ___nl__5 = NULL; ImmT ___nl__6 = NULL; ImmT ___nl__7 = NULL; ImmT ___nl__8 = NULL; #line 184 c_rt_lib0move(&___nl__2, ptd0none()); #line 184 c_rt_lib0move(&___nl__5, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622))); #line 184 c_rt_lib0move(&___nl__5, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__5)); #line 184 c_rt_lib0move(&___nl__6, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622))); #line 184 c_rt_lib0move(&___nl__6, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__6)); #line 184 c_rt_lib0move(&___nl__8, c_rt_lib0func_new(tc_types0stack_info_type0ptr, ___get_global_const(14), ___get_global_const(1022))); #line 184 c_rt_lib0move(&___nl__8, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__8)); #line 184 c_rt_lib0move(&___nl__7, ptd0arr(___nl__8)); #line 184 c_rt_lib0clear(&___nl__8); #line 184 c_rt_lib0move(&___nl__4, c_rt_lib0hash_mk(3, ___get_global_const(197), ___nl__5, ___get_global_const(198), ___nl__6, ___get_global_const(632), ___nl__7)); #line 184 c_rt_lib0clear(&___nl__5); #line 184 c_rt_lib0clear(&___nl__6); #line 184 c_rt_lib0clear(&___nl__7); #line 184 c_rt_lib0move(&___nl__3, ptd0rec(___nl__4)); #line 184 c_rt_lib0clear(&___nl__4); #line 184 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(2, ___get_global_const(44), ___nl__2, ___get_global_const(43), ___nl__3)); #line 184 c_rt_lib0clear(&___nl__2); #line 184 c_rt_lib0clear(&___nl__3); #line 184 c_rt_lib0move(&___nl__0, ptd0var(___nl__1)); #line 184 c_rt_lib0clear(&___nl__1); #line 184 return ___nl__0; #line 184 c_rt_lib0clear(&___nl__0); #line 184 return NULL; }
ImmT tc_types0fun_arg_t0cal() { tc_types_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; ImmT ___nl__5 = NULL; ImmT ___nl__6 = NULL; ImmT ___nl__7 = NULL; #line 117 c_rt_lib0move(&___nl__2, ptd0sim()); #line 117 c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622))); #line 117 c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3)); #line 117 c_rt_lib0move(&___nl__6, ptd0none()); #line 117 c_rt_lib0move(&___nl__7, ptd0none()); #line 117 c_rt_lib0move(&___nl__5, c_rt_lib0hash_mk(2, ___get_global_const(37), ___nl__6, ___get_global_const(5), ___nl__7)); #line 117 c_rt_lib0clear(&___nl__6); #line 117 c_rt_lib0clear(&___nl__7); #line 117 c_rt_lib0move(&___nl__4, ptd0var(___nl__5)); #line 117 c_rt_lib0clear(&___nl__5); #line 117 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(3, ___get_global_const(76), ___nl__2, ___get_global_const(72), ___nl__3, ___get_global_const(257), ___nl__4)); #line 117 c_rt_lib0clear(&___nl__2); #line 117 c_rt_lib0clear(&___nl__3); #line 117 c_rt_lib0clear(&___nl__4); #line 117 c_rt_lib0move(&___nl__0, ptd0rec(___nl__1)); #line 117 c_rt_lib0clear(&___nl__1); #line 117 return ___nl__0; #line 117 c_rt_lib0clear(&___nl__0); #line 117 return NULL; }
ImmT tc_types0var_t0cal() { tc_types_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; ImmT ___nl__5 = NULL; #line 113 c_rt_lib0move(&___nl__4, ptd0none()); #line 113 c_rt_lib0move(&___nl__5, ptd0none()); #line 113 c_rt_lib0move(&___nl__3, c_rt_lib0hash_mk(2, ___get_global_const(41), ___nl__4, ___get_global_const(42), ___nl__5)); #line 113 c_rt_lib0clear(&___nl__4); #line 113 c_rt_lib0clear(&___nl__5); #line 113 c_rt_lib0move(&___nl__2, ptd0var(___nl__3)); #line 113 c_rt_lib0clear(&___nl__3); #line 113 c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622))); #line 113 c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3)); #line 113 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(2, ___get_global_const(1017), ___nl__2, ___get_global_const(72), ___nl__3)); #line 113 c_rt_lib0clear(&___nl__2); #line 113 c_rt_lib0clear(&___nl__3); #line 113 c_rt_lib0move(&___nl__0, ptd0rec(___nl__1)); #line 113 c_rt_lib0clear(&___nl__1); #line 113 return ___nl__0; #line 113 c_rt_lib0clear(&___nl__0); #line 113 return NULL; }
ImmT tc_types0stack_info_type0cal() { tc_types_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; ImmT ___nl__5 = NULL; #line 176 c_rt_lib0move(&___nl__2, ptd0none()); #line 176 c_rt_lib0move(&___nl__3, ptd0none()); #line 176 c_rt_lib0move(&___nl__4, ptd0sim()); #line 176 c_rt_lib0move(&___nl__5, ptd0sim()); #line 176 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(4, ___get_global_const(948), ___nl__2, ___get_global_const(943), ___nl__3, ___get_global_const(944), ___nl__4, ___get_global_const(950), ___nl__5)); #line 176 c_rt_lib0clear(&___nl__2); #line 176 c_rt_lib0clear(&___nl__3); #line 176 c_rt_lib0clear(&___nl__4); #line 176 c_rt_lib0clear(&___nl__5); #line 176 c_rt_lib0move(&___nl__0, ptd0var(___nl__1)); #line 176 c_rt_lib0clear(&___nl__1); #line 176 return ___nl__0; #line 176 c_rt_lib0clear(&___nl__0); #line 176 return NULL; }
ImmT tc_types0lval_path0cal() { tc_types_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; ImmT ___nl__5 = NULL; #line 156 c_rt_lib0move(&___nl__3, ptd0sim()); #line 156 c_rt_lib0move(&___nl__4, ptd0none()); #line 156 c_rt_lib0move(&___nl__5, ptd0sim()); #line 156 c_rt_lib0move(&___nl__2, c_rt_lib0hash_mk(3, ___get_global_const(772), ___nl__3, ___get_global_const(277), ___nl__4, ___get_global_const(974), ___nl__5)); #line 156 c_rt_lib0clear(&___nl__3); #line 156 c_rt_lib0clear(&___nl__4); #line 156 c_rt_lib0clear(&___nl__5); #line 156 c_rt_lib0move(&___nl__1, ptd0var(___nl__2)); #line 156 c_rt_lib0clear(&___nl__2); #line 156 c_rt_lib0move(&___nl__0, ptd0arr(___nl__1)); #line 156 c_rt_lib0clear(&___nl__1); #line 156 return ___nl__0; #line 156 c_rt_lib0clear(&___nl__0); #line 156 return NULL; }
ImmT tc_types0def_fun_t0cal() { tc_types_priv0__const__init(); ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; ImmT ___nl__5 = NULL; ImmT ___nl__6 = NULL; ImmT ___nl__7 = NULL; ImmT ___nl__8 = NULL; ImmT ___nl__9 = NULL; ImmT ___nl__10 = NULL; #line 125 c_rt_lib0move(&___nl__2, c_rt_lib0func_new(nast0cmd_t0ptr, ___get_global_const(12), ___get_global_const(191))); #line 125 c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__2)); #line 125 c_rt_lib0move(&___nl__5, ptd0none()); #line 125 c_rt_lib0move(&___nl__6, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622))); #line 125 c_rt_lib0move(&___nl__6, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__6)); #line 125 c_rt_lib0move(&___nl__4, c_rt_lib0hash_mk(2, ___get_global_const(42), ___nl__5, ___get_global_const(41), ___nl__6)); #line 125 c_rt_lib0clear(&___nl__5); #line 125 c_rt_lib0clear(&___nl__6); #line 125 c_rt_lib0move(&___nl__3, ptd0var(___nl__4)); #line 125 c_rt_lib0clear(&___nl__4); #line 125 c_rt_lib0move(&___nl__6, ptd0none()); #line 125 c_rt_lib0move(&___nl__8, ptd0sim()); #line 125 c_rt_lib0move(&___nl__7, ptd0arr(___nl__8)); #line 125 c_rt_lib0clear(&___nl__8); #line 125 c_rt_lib0move(&___nl__5, c_rt_lib0hash_mk(2, ___get_global_const(42), ___nl__6, ___get_global_const(41), ___nl__7)); #line 125 c_rt_lib0clear(&___nl__6); #line 125 c_rt_lib0clear(&___nl__7); #line 125 c_rt_lib0move(&___nl__4, ptd0var(___nl__5)); #line 125 c_rt_lib0clear(&___nl__5); #line 125 c_rt_lib0move(&___nl__5, ptd0sim()); #line 125 c_rt_lib0move(&___nl__6, ptd0sim()); #line 125 c_rt_lib0move(&___nl__9, ptd0none()); #line 125 c_rt_lib0move(&___nl__10, ptd0none()); #line 125 c_rt_lib0move(&___nl__8, c_rt_lib0hash_mk(2, ___get_global_const(330), ___nl__9, ___get_global_const(329), ___nl__10)); #line 125 c_rt_lib0clear(&___nl__9); #line 125 c_rt_lib0clear(&___nl__10); #line 125 c_rt_lib0move(&___nl__7, ptd0var(___nl__8)); #line 125 c_rt_lib0clear(&___nl__8); #line 125 c_rt_lib0move(&___nl__9, c_rt_lib0func_new(tc_types0fun_arg_t0ptr, ___get_global_const(14), ___get_global_const(1018))); #line 125 c_rt_lib0move(&___nl__9, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__9)); #line 125 c_rt_lib0move(&___nl__8, ptd0arr(___nl__9)); #line 125 c_rt_lib0clear(&___nl__9); #line 125 c_rt_lib0move(&___nl__9, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622))); #line 125 c_rt_lib0move(&___nl__9, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__9)); #line 125 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(8, ___get_global_const(209), ___nl__2, ___get_global_const(996), ___nl__3, ___get_global_const(991), ___nl__4, ___get_global_const(76), ___nl__5, ___get_global_const(99), ___nl__6, ___get_global_const(328), ___nl__7, ___get_global_const(73), ___nl__8, ___get_global_const(712), ___nl__9)); #line 125 c_rt_lib0clear(&___nl__2); #line 125 c_rt_lib0clear(&___nl__3); #line 125 c_rt_lib0clear(&___nl__4); #line 125 c_rt_lib0clear(&___nl__5); #line 125 c_rt_lib0clear(&___nl__6); #line 125 c_rt_lib0clear(&___nl__7); #line 125 c_rt_lib0clear(&___nl__8); #line 125 c_rt_lib0clear(&___nl__9); #line 125 c_rt_lib0move(&___nl__0, ptd0rec(___nl__1)); #line 125 c_rt_lib0clear(&___nl__1); #line 125 return ___nl__0; #line 125 c_rt_lib0clear(&___nl__0); #line 125 return NULL; }
ImmT tct0meta_type0cal() { ImmT ___nl__0 = NULL; ImmT ___nl__1 = NULL; ImmT ___nl__2 = NULL; ImmT ___nl__3 = NULL; ImmT ___nl__4 = NULL; ImmT ___nl__5 = NULL; ImmT ___nl__6 = NULL; ImmT ___nl__7 = NULL; ImmT ___nl__8 = NULL; ImmT ___nl__9 = NULL; ImmT ___nl__10 = NULL; #line 77 c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678))); #line 77 c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3)); #line 77 c_rt_lib0move(&___nl__2, ptd0hash(___nl__3)); #line 77 c_rt_lib0clear(&___nl__3); #line 78 c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678))); #line 78 c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3)); #line 79 c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678))); #line 79 c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4)); #line 80 c_rt_lib0move(&___nl__8, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678))); #line 80 c_rt_lib0move(&___nl__8, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__8)); #line 80 c_rt_lib0move(&___nl__9, ptd0none()); #line 80 c_rt_lib0move(&___nl__7, c_rt_lib0hash_mk(2, ___get_global_const(810), ___nl__8, ___get_global_const(809), ___nl__9)); #line 80 c_rt_lib0clear(&___nl__8); #line 80 c_rt_lib0clear(&___nl__9); #line 80 c_rt_lib0move(&___nl__6, ptd0var(___nl__7)); #line 80 c_rt_lib0clear(&___nl__7); #line 80 c_rt_lib0move(&___nl__5, ptd0hash(___nl__6)); #line 80 c_rt_lib0clear(&___nl__6); #line 81 c_rt_lib0move(&___nl__6, ptd0sim()); #line 82 c_rt_lib0move(&___nl__7, ptd0none()); #line 83 c_rt_lib0move(&___nl__8, ptd0none()); #line 84 c_rt_lib0move(&___nl__9, ptd0none()); #line 85 c_rt_lib0move(&___nl__10, ptd0none()); #line 85 c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(9, ___get_global_const(801), ___nl__2, ___get_global_const(800), ___nl__3, ___get_global_const(799), ___nl__4, ___get_global_const(805), ___nl__5, ___get_global_const(802), ___nl__6, ___get_global_const(804), ___nl__7, ___get_global_const(806), ___nl__8, ___get_global_const(803), ___nl__9, ___get_global_const(798), ___nl__10)); #line 85 c_rt_lib0clear(&___nl__2); #line 85 c_rt_lib0clear(&___nl__3); #line 85 c_rt_lib0clear(&___nl__4); #line 85 c_rt_lib0clear(&___nl__5); #line 85 c_rt_lib0clear(&___nl__6); #line 85 c_rt_lib0clear(&___nl__7); #line 85 c_rt_lib0clear(&___nl__8); #line 85 c_rt_lib0clear(&___nl__9); #line 85 c_rt_lib0clear(&___nl__10); #line 85 c_rt_lib0move(&___nl__0, ptd0var(___nl__1)); #line 85 c_rt_lib0clear(&___nl__1); #line 85 return ___nl__0; #line 85 c_rt_lib0clear(&___nl__0); #line 85 return NULL; }