open Preamble

open Core_notation

open Pts

type string =
| EmptyString

(** val string_rect_Type4 : 'a1 -> string -> 'a1 **)
let rec string_rect_Type4 h_EmptyString = function
| EmptyString -> h_EmptyString

(** val string_rect_Type5 : 'a1 -> string -> 'a1 **)
let rec string_rect_Type5 h_EmptyString = function
| EmptyString -> h_EmptyString

(** val string_rect_Type3 : 'a1 -> string -> 'a1 **)
let rec string_rect_Type3 h_EmptyString = function
| EmptyString -> h_EmptyString

(** val string_rect_Type2 : 'a1 -> string -> 'a1 **)
let rec string_rect_Type2 h_EmptyString = function
| EmptyString -> h_EmptyString

(** val string_rect_Type1 : 'a1 -> string -> 'a1 **)
let rec string_rect_Type1 h_EmptyString = function
| EmptyString -> h_EmptyString

(** val string_rect_Type0 : 'a1 -> string -> 'a1 **)
let rec string_rect_Type0 h_EmptyString = function
| EmptyString -> h_EmptyString