Changeset 2649 for extracted/string.mli


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/string.mli

    r2601 r2649  
    11open Preamble
    2 
    3 open Bool
    4 
    5 open Relations
    6 
    7 open Nat
    8 
    9 open Hints_declaration
    102
    113open Core_notation
     
    135open Pts
    146
    15 open Logic
     7type string =
     8| EmptyString
    169
    17 open Types
     10val string_rect_Type4 : 'a1 -> string -> 'a1
    1811
    19 open List
     12val string_rect_Type5 : 'a1 -> string -> 'a1
    2013
    21 open Char
     14val string_rect_Type3 : 'a1 -> string -> 'a1
    2215
    23 type mystring = string
     16val string_rect_Type2 : 'a1 -> string -> 'a1
    2417
    25 type string = mystring (*Char.char List.list*)
     18val string_rect_Type1 : 'a1 -> string -> 'a1
    2619
     20val string_rect_Type0 : 'a1 -> string -> 'a1
     21
Note: See TracChangeset for help on using the changeset viewer.