Changeset 2649 for extracted/string.ml


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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/string.ml

    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
     10(** val string_rect_Type4 : 'a1 -> string -> 'a1 **)
     11let rec string_rect_Type4 h_EmptyString = function
     12| EmptyString -> h_EmptyString
    1813
    19 open List
     14(** val string_rect_Type5 : 'a1 -> string -> 'a1 **)
     15let rec string_rect_Type5 h_EmptyString = function
     16| EmptyString -> h_EmptyString
    2017
    21 open Char
     18(** val string_rect_Type3 : 'a1 -> string -> 'a1 **)
     19let rec string_rect_Type3 h_EmptyString = function
     20| EmptyString -> h_EmptyString
    2221
    23 type mystring = string
     22(** val string_rect_Type2 : 'a1 -> string -> 'a1 **)
     23let rec string_rect_Type2 h_EmptyString = function
     24| EmptyString -> h_EmptyString
    2425
    25 type string = mystring (*Char.char List.list*)
     26(** val string_rect_Type1 : 'a1 -> string -> 'a1 **)
     27let rec string_rect_Type1 h_EmptyString = function
     28| EmptyString -> h_EmptyString
     29
     30(** val string_rect_Type0 : 'a1 -> string -> 'a1 **)
     31let rec string_rect_Type0 h_EmptyString = function
     32| EmptyString -> h_EmptyString
     33
Note: See TracChangeset for help on using the changeset viewer.