source: extracted/string.mli @ 2716

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

...

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