extracted/string.mli

   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
  12 val string_rect_Type5 : 'a1 -> string -> 'a1
  13
  14 val string_rect_Type3 : 'a1 -> string -> 'a1
  15
  16 val string_rect_Type2 : 'a1 -> string -> 'a1
  17
  18 val string_rect_Type1 : 'a1 -> string -> 'a1
  19
  20 val string_rect_Type0 : 'a1 -> string -> 'a1
  21