29 val identifierTag_rect_Type4 :
30 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> identifierTag -> 'a1
32 val identifierTag_rect_Type5 :
33 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> identifierTag -> 'a1
35 val identifierTag_rect_Type3 :
36 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> identifierTag -> 'a1
38 val identifierTag_rect_Type2 :
39 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> identifierTag -> 'a1
41 val identifierTag_rect_Type1 :
42 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> identifierTag -> 'a1
44 val identifierTag_rect_Type0 :
45 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> identifierTag -> 'a1
47 val identifierTag_inv_rect_Type4 :
48 identifierTag -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
49 -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
51 val identifierTag_inv_rect_Type3 :
52 identifierTag -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
53 -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
55 val identifierTag_inv_rect_Type2 :
56 identifierTag -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
57 -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
59 val identifierTag_inv_rect_Type1 :
60 identifierTag -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
61 -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
63 val identifierTag_inv_rect_Type0 :
64 identifierTag -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
65 -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
67 val identifierTag_discr : identifierTag -> identifierTag -> __
71 (* singleton inductive, whose constructor was an_identifier *)
73 val identifier_rect_Type4 :
74 identifierTag -> (Positive.pos -> 'a1) -> identifier -> 'a1
76 val identifier_rect_Type5 :
77 identifierTag -> (Positive.pos -> 'a1) -> identifier -> 'a1
79 val identifier_rect_Type3 :
80 identifierTag -> (Positive.pos -> 'a1) -> identifier -> 'a1
82 val identifier_rect_Type2 :
83 identifierTag -> (Positive.pos -> 'a1) -> identifier -> 'a1
85 val identifier_rect_Type1 :
86 identifierTag -> (Positive.pos -> 'a1) -> identifier -> 'a1
88 val identifier_rect_Type0 :
89 identifierTag -> (Positive.pos -> 'a1) -> identifier -> 'a1
91 val identifier_inv_rect_Type4 :
92 identifierTag -> identifier -> (Positive.pos -> __ -> 'a1) -> 'a1
94 val identifier_inv_rect_Type3 :
95 identifierTag -> identifier -> (Positive.pos -> __ -> 'a1) -> 'a1
97 val identifier_inv_rect_Type2 :
98 identifierTag -> identifier -> (Positive.pos -> __ -> 'a1) -> 'a1
100 val identifier_inv_rect_Type1 :
101 identifierTag -> identifier -> (Positive.pos -> __ -> 'a1) -> 'a1
103 val identifier_inv_rect_Type0 :
104 identifierTag -> identifier -> (Positive.pos -> __ -> 'a1) -> 'a1
106 val identifier_discr : identifierTag -> identifier -> identifier -> __