Changeset 2773 for extracted/vector.mli


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/vector.mli

    r2601 r2773  
    2626
    2727open Util
     28
     29open Setoids
     30
     31open Monad
     32
     33open Option
    2834
    2935open Extranat
     
    8894  Nat.nat -> 'a1 vector -> Nat.nat -> 'a1 -> 'a1 vector Types.option
    8995
    90 val drop0 : Nat.nat -> 'a1 vector -> Nat.nat -> 'a1 vector Types.option
     96val drop : Nat.nat -> 'a1 vector -> Nat.nat -> 'a1 vector Types.option
    9197
    9298val head' : Nat.nat -> 'a1 vector -> 'a1
    9399
    94 val tail0 : Nat.nat -> 'a1 vector -> 'a1 vector
     100val tail : Nat.nat -> 'a1 vector -> 'a1 vector
    95101
    96102val vsplit' :
     
    115121val fold_left : Nat.nat -> ('a1 -> 'a2 -> 'a1) -> 'a1 -> 'a2 vector -> 'a1
    116122
    117 val map0 : Nat.nat -> ('a1 -> 'a2) -> 'a1 vector -> 'a2 vector
     123val map : Nat.nat -> ('a1 -> 'a2) -> 'a1 vector -> 'a2 vector
    118124
    119125val zip_with :
    120126  Nat.nat -> ('a1 -> 'a2 -> 'a3) -> 'a1 vector -> 'a2 vector -> 'a3 vector
    121127
    122 val zip0 :
    123   Nat.nat -> 'a1 vector -> 'a2 vector -> ('a1, 'a2) Types.prod vector
     128val zip : Nat.nat -> 'a1 vector -> 'a2 vector -> ('a1, 'a2) Types.prod vector
    124129
    125130val replicate : Nat.nat -> 'a1 -> 'a1 vector
    126131
    127 val append0 : Nat.nat -> Nat.nat -> 'a1 vector -> 'a1 vector -> 'a1 vector
     132val append : Nat.nat -> Nat.nat -> 'a1 vector -> 'a1 vector -> 'a1 vector
    128133
    129134val scan_left :
     
    135140val revapp : Nat.nat -> Nat.nat -> 'a1 vector -> 'a1 vector -> 'a1 vector
    136141
    137 val reverse0 : Nat.nat -> 'a1 vector -> 'a1 vector
     142val reverse : Nat.nat -> 'a1 vector -> 'a1 vector
    138143
    139144val pad_vector : 'a1 -> Nat.nat -> Nat.nat -> 'a1 vector -> 'a1 vector
     
    168173  -> 'a1
    169174
    170 val mem0 :
     175val mem :
    171176  ('a1 -> 'a1 -> Bool.bool) -> Nat.nat -> 'a1 vector -> 'a1 -> Bool.bool
    172177
Note: See TracChangeset for help on using the changeset viewer.