-
Notifications
You must be signed in to change notification settings - Fork 2
/
todo.txt
108 lines (108 loc) · 22.5 KB
/
todo.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
constructor_declaration_new: constructor:"Ascii"{| Ascii (bool,bool,bool,bool,bool,bool,bool,bool) -> (process_types_ascii__Ascii(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_xI"{| Coq_xI (positive) -> (process_types_positive__Coq_xI(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"N0"{| N0 () -> (process_types_coq_N__N0(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Z0"{| Z0 () -> (process_types_coq_Z__Z0(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"ReflectT"{| ReflectT () -> (process_types_reflect__ReflectT(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_mkApps_intro"{| Coq_mkApps_intro (term,list,nat) -> (process_types_mkApps_spec__Coq_mkApps_intro(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_nAnon"{| Coq_nAnon () -> (process_types_name__Coq_nAnon(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Relevant"{| Relevant () -> (process_types_relevance__Relevant(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"VmCast"{| VmCast () -> (process_types_cast_kind__VmCast(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Finite"{| Finite () -> (process_types_recursivity_kind__Finite(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Conv"{| Conv () -> (process_types_conv_pb__Conv(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Typ"{| Typ (FIXME) -> (process_types_typ_or_sort___Typ(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_mapi_context_In_graph_equation_1"{| Coq_mapi_context_In_graph_equation_1 (FIXME) -> (process_types_mapi_context_In_graph__Coq_mapi_context_In_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_fold_context_In_graph_equation_1"{| Coq_fold_context_In_graph_equation_1 (FIXME) -> (process_types_fold_context_In_graph__Coq_fold_context_In_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_fold_context_graph_equation_1"{| Coq_fold_context_graph_equation_1 (FIXME) -> (process_types_fold_context_graph__Coq_fold_context_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"ParameterEntry"{| ParameterEntry (parameter_entry) -> (process_types_constant_entry__ParameterEntry(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"C0"{| C0 (FIXME) -> (process_types_carry__C0(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Build_NoCyclePackage"{| Build_NoCyclePackage () -> (process_types_coq_NoCyclePackage__Build_NoCyclePackage(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Build_NoConfusionPackage"{| Build_NoConfusionPackage () -> (process_types_coq_NoConfusionPackage__Build_NoConfusionPackage(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_tt"{| Coq_tt () -> (process_types_coq_unit__Coq_tt(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_true"{| Coq_true () -> (process_types_bool__Coq_true(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"O"{| O () -> (process_types_nat__O(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Some"{| Some (FIXME) -> (process_types_option__Some(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_inl"{| Coq_inl (FIXME) -> (process_types_sum__Coq_inl(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_pair"{| Coq_pair (FIXME,FIXME) -> (process_types_prod__Coq_pair(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_nil"{| Coq_nil () -> (process_types_list__Coq_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Eq"{| Eq () -> (process_types_comparison__Eq(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"CompEqT"{| CompEqT () -> (process_types_coq_CompareSpecT__CompEqT(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All_nil"{| All_nil () -> (process_types_coq_All__All_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Alli_nil"{| Alli_nil () -> (process_types_coq_Alli__Alli_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All2_nil"{| All2_nil () -> (process_types_coq_All2__All2_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All2_dep_nil"{| All2_dep_nil () -> (process_types_coq_All2_dep__All2_dep_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All2i_nil"{| All2i_nil () -> (process_types_coq_All2i__All2i_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All3_nil"{| All3_nil () -> (process_types_coq_All3__All3_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"OnOne2_hd"{| OnOne2_hd (FIXME,FIXME,list,FIXME) -> (process_types_coq_OnOne2__OnOne2_hd(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"OnOne2i_hd"{| OnOne2i_hd (nat,FIXME,FIXME,list,FIXME) -> (process_types_coq_OnOne2i__OnOne2i_hd(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"OnOne2All_hd"{| OnOne2All_hd (FIXME,list,FIXME,FIXME,list,FIXME) -> (process_types_coq_OnOne2All__OnOne2All_hd(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All2i_len_nil"{| All2i_len_nil () -> (process_types_coq_All2i_len__All2i_len_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All_fold_nil"{| All_fold_nil () -> (process_types_coq_All_fold__All_fold_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"All2_fold_nil"{| All2_fold_nil () -> (process_types_coq_All2_fold__All2_fold_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_map_All_graph_equation_1"{| Coq_map_All_graph_equation_1 () -> (process_types_map_All_graph__Coq_map_All_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Nil"{| Nil () -> (process_types_uint__Nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Pos"{| Pos (uint) -> (process_types_signed_int__Pos(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Decimal"{| Decimal (signed_int,uint) -> (process_types_decimal__Decimal(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_x00"{| Coq_x00 () -> (process_types_byte__Coq_x00(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"PNormal"{| PNormal () -> (process_types_float_class__PNormal(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_the_equations_tag"{| Coq_the_equations_tag () -> (process_types_equations_tag__Coq_the_equations_tag(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Nil"{| Nil () -> (process_types_uint__Nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Pos"{| Pos (uint) -> (process_types_signed_int__Pos(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Hexadecimal"{| Hexadecimal (signed_int,uint) -> (process_types_hexadecimal__Hexadecimal(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"MPfile"{| MPfile (dirpath) -> (process_types_modpath__MPfile(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"VarRef"{| VarRef (ident) -> (process_types_global_reference__VarRef(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_id_refl"{| Coq_id_refl () -> (process_types_coq_Id__Coq_id_refl(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_inl"{| Coq_inl (FIXME) -> (process_types_sum__Coq_inl(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_nth_error_Spec_Some"{| Coq_nth_error_Spec_Some (FIXME) -> (process_types_nth_error_Spec__Coq_nth_error_Spec_Some(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_map_In_graph_equation_1"{| Coq_map_In_graph_equation_1 (FIXME) -> (process_types_map_In_graph__Coq_map_In_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_split_prefix_clause_3_clause_1_graph_equation_1"{| Coq_split_prefix_clause_3_clause_1_graph_equation_1 (FIXME,list,FIXME,list,list,list,list) -> (process_types_split_prefix_clause_3_clause_1_graph__Coq_split_prefix_clause_3_clause_1_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_split_prefix_clause_3_graph_refinement_1"{| Coq_split_prefix_clause_3_graph_refinement_1 (FIXME,list,FIXME,list,split_prefix_graph,split_prefix_clause_3_clause_1_graph) -> (process_types_split_prefix_clause_3_graph__Coq_split_prefix_clause_3_graph_refinement_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_split_prefix_graph_equation_1"{| Coq_split_prefix_graph_equation_1 (list) -> (process_types_split_prefix_graph__Coq_split_prefix_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_forallb_InP_graph_equation_1"{| Coq_forallb_InP_graph_equation_1 (FIXME) -> (process_types_forallb_InP_graph__Coq_forallb_InP_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_map_InP_graph_equation_1"{| Coq_map_InP_graph_equation_1 (FIXME) -> (process_types_map_InP_graph__Coq_map_InP_graph_equation_1(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_snoc_view_nil"{| Coq_snoc_view_nil () -> (process_types_snoc_view__Coq_snoc_view_nil(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times3"{| Times3 (FIXME,FIXME,FIXME) -> (process_types_and3__Times3(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times4"{| Times4 (FIXME,FIXME,FIXME,FIXME) -> (process_types_and4__Times4(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times5"{| Times5 (FIXME,FIXME,FIXME,FIXME,FIXME) -> (process_types_and5__Times5(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times6"{| Times6 (FIXME,FIXME,FIXME,FIXME,FIXME,FIXME) -> (process_types_and6__Times6(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times7"{| Times7 (FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME) -> (process_types_and7__Times7(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times8"{| Times8 (FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME) -> (process_types_and8__Times8(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times9"{| Times9 (FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME) -> (process_types_and9__Times9(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Times10"{| Times10 (FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME,FIXME) -> (process_types_and10__Times10(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"ReflectT"{| ReflectT (FIXME) -> (process_types_reflectT__ReflectT(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"UIntDecimal"{| UIntDecimal (Decimal.uint) -> (process_types_uint__UIntDecimal(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"IntDecimal"{| IntDecimal (Decimal.signed_int) -> (process_types_signed_int__IntDecimal(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Decimal"{| Decimal (decimal) -> (process_types_number__Decimal(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"LT"{| LT () -> (process_types_coq_Compare__LT(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"OEQ"{| OEQ () -> (process_types_ord__OEQ(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"FEq"{| FEq () -> (process_types_float_comparison__FEq(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Pos"{| Pos (int) -> (process_types_pos_neg_int63__Pos(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_primInt"{| Coq_primInt () -> (process_types_prim_tag__Coq_primInt(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_t_step"{| Coq_t_step (FIXME,FIXME) -> (process_types_trans_clos__Coq_t_step(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_t1n_step"{| Coq_t1n_step (FIXME,FIXME) -> (process_types_trans_clos_1n__Coq_t1n_step(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_tn1_step"{| Coq_tn1_step (FIXME,FIXME) -> (process_types_trans_clos_n1__Coq_tn1_step(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_r_step"{| Coq_r_step (FIXME,FIXME) -> (process_types_clos_refl__Coq_r_step(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_rt_step"{| Coq_rt_step (FIXME,FIXME) -> (process_types_clos_refl_trans__Coq_rt_step(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_rt1n_refl"{| Coq_rt1n_refl () -> (process_types_clos_refl_trans_1n__Coq_rt1n_refl(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_rtn1_refl"{| Coq_rtn1_refl () -> (process_types_clos_refl_trans_n1__Coq_rtn1_refl(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_rst_step"{| Coq_rst_step (FIXME,FIXME,FIXME) -> (process_types_clos_refl_sym_trans__Coq_rst_step(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_rst1n_refl"{| Coq_rst1n_refl () -> (process_types_clos_refl_sym_trans_1n__Coq_rst1n_refl(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_rstn1_refl"{| Coq_rstn1_refl () -> (process_types_clos_refl_sym_trans_n1__Coq_rstn1_refl(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_le_aa"{| Coq_le_aa (FIXME,FIXME,FIXME) -> (process_types_le_AsB__Coq_le_aa(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_left_lex"{| Coq_left_lex (FIXME,FIXME,FIXME,FIXME,FIXME) -> (process_types_lexprod__Coq_left_lex(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_left_sym"{| Coq_left_sym (FIXME,FIXME,FIXME,FIXME) -> (process_types_symprod__Coq_left_sym(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_sp_noswap"{| Coq_sp_noswap (FIXME,FIXME,prod,symprod) -> (process_types_swapprod__Coq_sp_noswap(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"EmptyString"{| EmptyString () -> (process_types_string__EmptyString(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"S754_zero"{| S754_zero (bool) -> (process_types_spec_float__S754_zero(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_loc_Exact"{| Coq_loc_Exact () -> (process_types_location__Coq_loc_Exact(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_existT"{| Coq_existT (FIXME,FIXME) -> (process_types_sigT__Coq_existT(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_existT2"{| Coq_existT2 (FIXME,FIXME,FIXME) -> (process_types_sigT2__Coq_existT2(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_left"{| Coq_left () -> (process_types_sumbool__Coq_left(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_inleft"{| Coq_inleft (FIXME) -> (process_types_sumor__Coq_inleft(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Zdiv_rest_proof"{| Zdiv_rest_proof (coq_Z,coq_Z) -> (process_types_coq_Zdiv_rest_proofs__Zdiv_rest_proof(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"UProp"{| UProp () -> (process_types_concreteUniverses__UProp(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"IntoSProp"{| IntoSProp () -> (process_types_allowed_eliminations__IntoSProp(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Monomorphic_ctx"{| Monomorphic_ctx () -> (process_types_universes_decl__Monomorphic_ctx(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Monomorphic_entry"{| Monomorphic_entry (ContextSet.t) -> (process_types_universes_entry__Monomorphic_entry(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_compare_vass"{| Coq_compare_vass (binder_annot,term,binder_annot,term,FIXME) -> (process_types_compare_decls__Coq_compare_vass(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_eq_Rel"{| Coq_eq_Rel (nat) -> (process_types_eq_term_upto_univ_napp__Coq_eq_Rel(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)
constructor_declaration_new: constructor:"Coq_red_beta"{| Coq_red_beta (aname,term,term,term,list) -> (process_types_red1__Coq_red_beta(imp_core_type_list (a,s,0)))} |process_type_variant_constructor_declaration_list(p,t,s)