10 (** val string_rect_Type4 : 'a1 -> string -> 'a1 **)
11 let rec string_rect_Type4 h_EmptyString = function
12 | EmptyString -> h_EmptyString
14 (** val string_rect_Type5 : 'a1 -> string -> 'a1 **)
15 let rec string_rect_Type5 h_EmptyString = function
16 | EmptyString -> h_EmptyString
18 (** val string_rect_Type3 : 'a1 -> string -> 'a1 **)
19 let rec string_rect_Type3 h_EmptyString = function
20 | EmptyString -> h_EmptyString
22 (** val string_rect_Type2 : 'a1 -> string -> 'a1 **)
23 let rec string_rect_Type2 h_EmptyString = function
24 | EmptyString -> h_EmptyString
26 (** val string_rect_Type1 : 'a1 -> string -> 'a1 **)
27 let rec string_rect_Type1 h_EmptyString = function
28 | EmptyString -> h_EmptyString
30 (** val string_rect_Type0 : 'a1 -> string -> 'a1 **)
31 let rec string_rect_Type0 h_EmptyString = function
32 | EmptyString -> h_EmptyString