source: extracted/string.mli @ 2746

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

...

File size: 350 bytes
Line 
1open Preamble
2
3open Core_notation
4
5open Pts
6
7type string =
8| EmptyString
9
10val string_rect_Type4 : 'a1 -> string -> 'a1
11
12val string_rect_Type5 : 'a1 -> string -> 'a1
13
14val string_rect_Type3 : 'a1 -> string -> 'a1
15
16val string_rect_Type2 : 'a1 -> string -> 'a1
17
18val string_rect_Type1 : 'a1 -> string -> 'a1
19
20val string_rect_Type0 : 'a1 -> string -> 'a1
21
Note: See TracBrowser for help on using the repository browser.