open Preamble

open Core_notation

open Pts

type string =
| EmptyString

val string_rect_Type4 : 'a1 -> string -> 'a1

val string_rect_Type5 : 'a1 -> string -> 'a1

val string_rect_Type3 : 'a1 -> string -> 'a1

val string_rect_Type2 : 'a1 -> string -> 'a1

val string_rect_Type1 : 'a1 -> string -> 'a1

val string_rect_Type0 : 'a1 -> string -> 'a1