source:
driver/extracted/string.mli
@
3106
| Last change on this file since 3106 was 2649, checked in by , 7 years ago | |
|---|---|
| File size: 350 bytes | |
| Line | |
|---|---|
| 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 |
Note: See TracBrowser
for help on using the repository browser.
