18 val order_rect_Type4 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1
20 val order_rect_Type5 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1
22 val order_rect_Type3 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1
24 val order_rect_Type2 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1
26 val order_rect_Type1 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1
28 val order_rect_Type0 : 'a1 -> 'a1 -> 'a1 -> order -> 'a1
30 val order_inv_rect_Type4 :
31 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
33 val order_inv_rect_Type3 :
34 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
36 val order_inv_rect_Type2 :
37 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
39 val order_inv_rect_Type1 :
40 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
42 val order_inv_rect_Type0 :
43 order -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
45 val order_discr : order -> order -> __