17 (** val bool_rect_Type4 : 'a1 -> 'a1 -> bool -> 'a1 **)
18 let rec bool_rect_Type4 h_true h_false = function
22 (** val bool_rect_Type5 : 'a1 -> 'a1 -> bool -> 'a1 **)
23 let rec bool_rect_Type5 h_true h_false = function
27 (** val bool_rect_Type3 : 'a1 -> 'a1 -> bool -> 'a1 **)
28 let rec bool_rect_Type3 h_true h_false = function
32 (** val bool_rect_Type2 : 'a1 -> 'a1 -> bool -> 'a1 **)
33 let rec bool_rect_Type2 h_true h_false = function
37 (** val bool_rect_Type1 : 'a1 -> 'a1 -> bool -> 'a1 **)
38 let rec bool_rect_Type1 h_true h_false = function
42 (** val bool_rect_Type0 : 'a1 -> 'a1 -> bool -> 'a1 **)
43 let rec bool_rect_Type0 h_true h_false = function
47 (** val bool_inv_rect_Type4 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
48 let bool_inv_rect_Type4 hterm h1 h2 =
49 let hcut = bool_rect_Type4 h1 h2 hterm in hcut __
51 (** val bool_inv_rect_Type3 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
52 let bool_inv_rect_Type3 hterm h1 h2 =
53 let hcut = bool_rect_Type3 h1 h2 hterm in hcut __
55 (** val bool_inv_rect_Type2 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
56 let bool_inv_rect_Type2 hterm h1 h2 =
57 let hcut = bool_rect_Type2 h1 h2 hterm in hcut __
59 (** val bool_inv_rect_Type1 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
60 let bool_inv_rect_Type1 hterm h1 h2 =
61 let hcut = bool_rect_Type1 h1 h2 hterm in hcut __
63 (** val bool_inv_rect_Type0 : bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 **)
64 let bool_inv_rect_Type0 hterm h1 h2 =
65 let hcut = bool_rect_Type0 h1 h2 hterm in hcut __
67 (** val bool_discr : bool -> bool -> __ **)
71 | True -> Obj.magic (fun _ dH -> dH)
72 | False -> Obj.magic (fun _ dH -> dH)) y
74 (** val notb : bool -> bool **)
79 (** val andb : bool -> bool -> bool **)
85 (** val orb : bool -> bool -> bool **)
91 (** val xorb : bool -> bool -> bool **)