18 (** val order_rect_Type4 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1 **)
19 let rec order_rect_Type4 h_order_lt h_order_eq h_order_gt = function
20 | Order_lt -> h_order_lt
21 | Order_eq -> h_order_eq
22 | Order_gt -> h_order_gt
24 (** val order_rect_Type5 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1 **)
25 let rec order_rect_Type5 h_order_lt h_order_eq h_order_gt = function
26 | Order_lt -> h_order_lt
27 | Order_eq -> h_order_eq
28 | Order_gt -> h_order_gt
30 (** val order_rect_Type3 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1 **)
31 let rec order_rect_Type3 h_order_lt h_order_eq h_order_gt = function
32 | Order_lt -> h_order_lt
33 | Order_eq -> h_order_eq
34 | Order_gt -> h_order_gt
36 (** val order_rect_Type2 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1 **)
37 let rec order_rect_Type2 h_order_lt h_order_eq h_order_gt = function
38 | Order_lt -> h_order_lt
39 | Order_eq -> h_order_eq
40 | Order_gt -> h_order_gt
42 (** val order_rect_Type1 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1 **)
43 let rec order_rect_Type1 h_order_lt h_order_eq h_order_gt = function
44 | Order_lt -> h_order_lt
45 | Order_eq -> h_order_eq
46 | Order_gt -> h_order_gt
48 (** val order_rect_Type0 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1 **)
49 let rec order_rect_Type0 h_order_lt h_order_eq h_order_gt = function
50 | Order_lt -> h_order_lt
51 | Order_eq -> h_order_eq
52 | Order_gt -> h_order_gt
54 (** val order_inv_rect_Type4 :
55 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
56 let order_inv_rect_Type4 hterm h1 h2 h3 =
57 let hcut = order_rect_Type4 h1 h2 h3 hterm in hcut __
59 (** val order_inv_rect_Type3 :
60 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
61 let order_inv_rect_Type3 hterm h1 h2 h3 =
62 let hcut = order_rect_Type3 h1 h2 h3 hterm in hcut __
64 (** val order_inv_rect_Type2 :
65 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
66 let order_inv_rect_Type2 hterm h1 h2 h3 =
67 let hcut = order_rect_Type2 h1 h2 h3 hterm in hcut __
69 (** val order_inv_rect_Type1 :
70 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
71 let order_inv_rect_Type1 hterm h1 h2 h3 =
72 let hcut = order_rect_Type1 h1 h2 h3 hterm in hcut __
74 (** val order_inv_rect_Type0 :
75 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
76 let order_inv_rect_Type0 hterm h1 h2 h3 =
77 let hcut = order_rect_Type0 h1 h2 h3 hterm in hcut __
79 (** val order_discr : order -> order -> __ **)
83 | Order_lt -> Obj.magic (fun _ dH -> dH)
84 | Order_eq -> Obj.magic (fun _ dH -> dH)
85 | Order_gt -> Obj.magic (fun _ dH -> dH)) y