source: driver/extracted/string.ml @ 3106

Last change on this file since 3106 was 2649, checked in by sacerdot, 7 years ago

...

File size: 890 bytes
Line 
1open Preamble
2
3open Core_notation
4
5open Pts
6
7type string =
8| EmptyString
9
10(** val string_rect_Type4 : 'a1 -> string -> 'a1 **)
11let rec string_rect_Type4 h_EmptyString = function
12| EmptyString -> h_EmptyString
13
14(** val string_rect_Type5 : 'a1 -> string -> 'a1 **)
15let rec string_rect_Type5 h_EmptyString = function
16| EmptyString -> h_EmptyString
17
18(** val string_rect_Type3 : 'a1 -> string -> 'a1 **)
19let rec string_rect_Type3 h_EmptyString = function
20| EmptyString -> h_EmptyString
21
22(** val string_rect_Type2 : 'a1 -> string -> 'a1 **)
23let rec string_rect_Type2 h_EmptyString = function
24| EmptyString -> h_EmptyString
25
26(** val string_rect_Type1 : 'a1 -> string -> 'a1 **)
27let rec string_rect_Type1 h_EmptyString = function
28| EmptyString -> h_EmptyString
29
30(** val string_rect_Type0 : 'a1 -> string -> 'a1 **)
31let rec string_rect_Type0 h_EmptyString = function
32| EmptyString -> h_EmptyString
33
Note: See TracBrowser for help on using the repository browser.