10 val string_rect_Type4 : 'a1 -> string -> 'a1
12 val string_rect_Type5 : 'a1 -> string -> 'a1
14 val string_rect_Type3 : 'a1 -> string -> 'a1
16 val string_rect_Type2 : 'a1 -> string -> 'a1
18 val string_rect_Type1 : 'a1 -> string -> 'a1
20 val string_rect_Type0 : 'a1 -> string -> 'a1