extracted/string.ml

   1 open Preamble
   2
   3 open Core_notation
   4
   5 open Pts
   6
   7 type string =
   8 | EmptyString
   9
  10 (** val string_rect_Type4 : 'a1 -> string -> 'a1 **)
  11 let rec string_rect_Type4 h_EmptyString = function
  12 | EmptyString -> h_EmptyString
  13
  14 (** val string_rect_Type5 : 'a1 -> string -> 'a1 **)
  15 let rec string_rect_Type5 h_EmptyString = function
  16 | EmptyString -> h_EmptyString
  17
  18 (** val string_rect_Type3 : 'a1 -> string -> 'a1 **)
  19 let rec string_rect_Type3 h_EmptyString = function
  20 | EmptyString -> h_EmptyString
  21
  22 (** val string_rect_Type2 : 'a1 -> string -> 'a1 **)
  23 let rec string_rect_Type2 h_EmptyString = function
  24 | EmptyString -> h_EmptyString
  25
  26 (** val string_rect_Type1 : 'a1 -> string -> 'a1 **)
  27 let rec string_rect_Type1 h_EmptyString = function
  28 | EmptyString -> h_EmptyString
  29
  30 (** val string_rect_Type0 : 'a1 -> string -> 'a1 **)
  31 let rec string_rect_Type0 h_EmptyString = function
  32 | EmptyString -> h_EmptyString
  33