(BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_263 =
+let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_25506 =
let { print_String = print_String0; print_keyword = print_keyword0;
print_concat = print_concat0; print_empty = print_empty0; print_ident =
print_ident0; print_costlabel = print_costlabel0; print_label =
print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
- print_bitvector0 } = x_263
+ print_bitvector0 } = x_25506
in
h_mk_printing_pass_independent_params print_String0 print_keyword0
print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
(BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_265 =
+let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_25508 =
let { print_String = print_String0; print_keyword = print_keyword0;
print_concat = print_concat0; print_empty = print_empty0; print_ident =
print_ident0; print_costlabel = print_costlabel0; print_label =
print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
- print_bitvector0 } = x_265
+ print_bitvector0 } = x_25508
in
h_mk_printing_pass_independent_params print_String0 print_keyword0
print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
(BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_267 =
+let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_25510 =
let { print_String = print_String0; print_keyword = print_keyword0;
print_concat = print_concat0; print_empty = print_empty0; print_ident =
print_ident0; print_costlabel = print_costlabel0; print_label =
print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
- print_bitvector0 } = x_267
+ print_bitvector0 } = x_25510
in
h_mk_printing_pass_independent_params print_String0 print_keyword0
print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
(BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_269 =
+let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_25512 =
let { print_String = print_String0; print_keyword = print_keyword0;
print_concat = print_concat0; print_empty = print_empty0; print_ident =
print_ident0; print_costlabel = print_costlabel0; print_label =
print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
- print_bitvector0 } = x_269
+ print_bitvector0 } = x_25512
in
h_mk_printing_pass_independent_params print_String0 print_keyword0
print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
(BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_271 =
+let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_25514 =
let { print_String = print_String0; print_keyword = print_keyword0;
print_concat = print_concat0; print_empty = print_empty0; print_ident =
print_ident0; print_costlabel = print_costlabel0; print_label =
print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
- print_bitvector0 } = x_271
+ print_bitvector0 } = x_25514
in
h_mk_printing_pass_independent_params print_String0 print_keyword0
print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
(BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_273 =
+let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_25516 =
let { print_String = print_String0; print_keyword = print_keyword0;
print_concat = print_concat0; print_empty = print_empty0; print_ident =
print_ident0; print_costlabel = print_costlabel0; print_label =
print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
- print_bitvector0 } = x_273
+ print_bitvector0 } = x_25516
in
h_mk_printing_pass_independent_params print_String0 print_keyword0
print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
(__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
-> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
printing_params -> 'a2 **)
-let rec printing_params_rect_Type4 p h_mk_printing_params x_301 =
+let rec printing_params_rect_Type4 p h_mk_printing_params x_25544 =
let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
print_pair_move = print_pair_move0; print_call_args = print_call_args0;
print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
- x_301
+ x_25544
in
h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
(__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
-> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
printing_params -> 'a2 **)
-let rec printing_params_rect_Type5 p h_mk_printing_params x_303 =
+let rec printing_params_rect_Type5 p h_mk_printing_params x_25546 =
let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
print_pair_move = print_pair_move0; print_call_args = print_call_args0;
print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
- x_303
+ x_25546
in
h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
(__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
-> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
printing_params -> 'a2 **)
-let rec printing_params_rect_Type3 p h_mk_printing_params x_305 =
+let rec printing_params_rect_Type3 p h_mk_printing_params x_25548 =
let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
print_pair_move = print_pair_move0; print_call_args = print_call_args0;
print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
- x_305
+ x_25548
in
h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
(__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
-> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
printing_params -> 'a2 **)
-let rec printing_params_rect_Type2 p h_mk_printing_params x_307 =
+let rec printing_params_rect_Type2 p h_mk_printing_params x_25550 =
let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
print_pair_move = print_pair_move0; print_call_args = print_call_args0;
print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
- x_307
+ x_25550
in
h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
(__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
-> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
printing_params -> 'a2 **)
-let rec printing_params_rect_Type1 p h_mk_printing_params x_309 =
+let rec printing_params_rect_Type1 p h_mk_printing_params x_25552 =
let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
print_pair_move = print_pair_move0; print_call_args = print_call_args0;
print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
- x_309
+ x_25552
in
h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
(__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
-> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
printing_params -> 'a2 **)
-let rec printing_params_rect_Type0 p h_mk_printing_params x_311 =
+let rec printing_params_rect_Type0 p h_mk_printing_params x_25554 =
let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
print_pair_move = print_pair_move0; print_call_args = print_call_args0;
print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
- x_311
+ x_25554
in
h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
(** val print_serialization_params_rect_Type4 :
Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type4 p h_mk_print_serialization_params x_340 =
+let rec print_serialization_params_rect_Type4 p h_mk_print_serialization_params x_25583 =
let { print_succ = print_succ0; print_code_point = print_code_point0 } =
- x_340
+ x_25583
in
h_mk_print_serialization_params print_succ0 print_code_point0
(** val print_serialization_params_rect_Type5 :
Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type5 p h_mk_print_serialization_params x_342 =
+let rec print_serialization_params_rect_Type5 p h_mk_print_serialization_params x_25585 =
let { print_succ = print_succ0; print_code_point = print_code_point0 } =
- x_342
+ x_25585
in
h_mk_print_serialization_params print_succ0 print_code_point0
(** val print_serialization_params_rect_Type3 :
Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type3 p h_mk_print_serialization_params x_344 =
+let rec print_serialization_params_rect_Type3 p h_mk_print_serialization_params x_25587 =
let { print_succ = print_succ0; print_code_point = print_code_point0 } =
- x_344
+ x_25587
in
h_mk_print_serialization_params print_succ0 print_code_point0
(** val print_serialization_params_rect_Type2 :
Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type2 p h_mk_print_serialization_params x_346 =
+let rec print_serialization_params_rect_Type2 p h_mk_print_serialization_params x_25589 =
let { print_succ = print_succ0; print_code_point = print_code_point0 } =
- x_346
+ x_25589
in
h_mk_print_serialization_params print_succ0 print_code_point0
(** val print_serialization_params_rect_Type1 :
Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type1 p h_mk_print_serialization_params x_348 =
+let rec print_serialization_params_rect_Type1 p h_mk_print_serialization_params x_25591 =
let { print_succ = print_succ0; print_code_point = print_code_point0 } =
- x_348
+ x_25591
in
h_mk_print_serialization_params print_succ0 print_code_point0
(** val print_serialization_params_rect_Type0 :
Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type0 p h_mk_print_serialization_params x_350 =
+let rec print_serialization_params_rect_Type0 p h_mk_print_serialization_params x_25593 =
let { print_succ = print_succ0; print_code_point = print_code_point0 } =
- x_350
+ x_25593
in
h_mk_print_serialization_params print_succ0 print_code_point0
Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
(__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
-> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_368 =
+let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_25611 =
let { cip_print_serialization_params = cip_print_serialization_params0;
- fold_code = fold_code0; print_statementT = print_statementT0 } = x_368
+ fold_code = fold_code0; print_statementT = print_statementT0 } = x_25611
in
h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
print_statementT0
Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
(__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
-> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_370 =
+let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_25613 =
let { cip_print_serialization_params = cip_print_serialization_params0;
- fold_code = fold_code0; print_statementT = print_statementT0 } = x_370
+ fold_code = fold_code0; print_statementT = print_statementT0 } = x_25613
in
h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
print_statementT0
Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
(__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
-> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_372 =
+let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_25615 =
let { cip_print_serialization_params = cip_print_serialization_params0;
- fold_code = fold_code0; print_statementT = print_statementT0 } = x_372
+ fold_code = fold_code0; print_statementT = print_statementT0 } = x_25615
in
h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
print_statementT0
Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
(__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
-> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_374 =
+let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_25617 =
let { cip_print_serialization_params = cip_print_serialization_params0;
- fold_code = fold_code0; print_statementT = print_statementT0 } = x_374
+ fold_code = fold_code0; print_statementT = print_statementT0 } = x_25617
in
h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
print_statementT0
Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
(__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
-> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_376 =
+let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_25619 =
let { cip_print_serialization_params = cip_print_serialization_params0;
- fold_code = fold_code0; print_statementT = print_statementT0 } = x_376
+ fold_code = fold_code0; print_statementT = print_statementT0 } = x_25619
in
h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
print_statementT0
Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
(__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
-> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_378 =
+let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_25621 =
let { cip_print_serialization_params = cip_print_serialization_params0;
- fold_code = fold_code0; print_statementT = print_statementT0 } = x_378
+ fold_code = fold_code0; print_statementT = print_statementT0 } = x_25621
in
h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
print_statementT0
(** val fold_code0 :
Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params
-> (__ -> 'a2 -> 'a3 -> 'a3) -> __ -> __ -> 'a3 -> 'a3 **)
-let rec fold_code0 p globals xxx x_393 x_394 x_395 x_396 =
+let rec fold_code0 p globals xxx x_25636 x_25637 x_25638 x_25639 =
(let { cip_print_serialization_params = x; fold_code = yyy;
print_statementT = x0 } = xxx
in
- Obj.magic yyy) __ x_393 x_394 x_395 x_396
+ Obj.magic yyy) __ x_25636 x_25637 x_25638 x_25639
(** val print_statementT :
Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params
(match pm_choose_with_pref m n with
| Types.None -> b
| Types.Some res ->
- let { Types.fst = eta2; Types.snd = m' } = res in
- let { Types.fst = pos; Types.snd = a } = eta2 in
+ let { Types.fst = eta32074; Types.snd = m' } = res in
+ let { Types.fst = pos; Types.snd = a } = eta32074 in
visit_graph next f (f pos a b) (next a) m' y)
(** val print_list :