Changeset 2773 for extracted/list.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/list.mli

    r2649 r2773  
    7474val filter : ('a1 -> Bool.bool) -> 'a1 list -> 'a1 list
    7575
    76 val compose0 : ('a1 -> 'a2 -> 'a3) -> 'a1 list -> 'a2 list -> 'a3 list
     76val compose : ('a1 -> 'a2 -> 'a3) -> 'a1 list -> 'a2 list -> 'a3 list
    7777
    7878val rev_append : 'a1 list -> 'a1 list -> 'a1 list
     
    8181
    8282val length : 'a1 list -> Nat.nat
    83 
    84 type mem = __
    8583
    8684val split_rev :
     
    9492
    9593val nth_opt : Nat.nat -> 'a1 list -> 'a1 Types.option
    96 
    97 type all = __
    98 
    99 type allr = __
    100 
    101 type exists = __
    10294
    10395val fold :
Note: See TracChangeset for help on using the changeset viewer.