17 val bool_rect_Type4 : 'a1 -> 'a1 -> bool -> 'a1
19 val bool_rect_Type5 : 'a1 -> 'a1 -> bool -> 'a1
21 val bool_rect_Type3 : 'a1 -> 'a1 -> bool -> 'a1
23 val bool_rect_Type2 : 'a1 -> 'a1 -> bool -> 'a1
25 val bool_rect_Type1 : 'a1 -> 'a1 -> bool -> 'a1
27 val bool_rect_Type0 : 'a1 -> 'a1 -> bool -> 'a1
29 val bool_inv_rect_Type4 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
31 val bool_inv_rect_Type3 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
33 val bool_inv_rect_Type2 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
35 val bool_inv_rect_Type1 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
37 val bool_inv_rect_Type0 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
39 val bool_discr : bool -> bool -> __
41 val notb : bool -> bool
43 val andb : bool -> bool -> bool
45 val orb : bool -> bool -> bool
47 val xorb : bool -> bool -> bool