source: extracted/string.ml @ 2731

Last change on this file since 2731 was 2649, checked in by sacerdot, 8 years ago

...

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