Changeset 2649 for extracted/list.mli


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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/list.mli

    r2601 r2649  
    6565
    6666val option_hd : 'a1 list -> 'a1 Types.option
     67
     68val option_cons : 'a1 Types.option -> 'a1 list -> 'a1 list
    6769
    6870val map : ('a1 -> 'a2) -> 'a1 list -> 'a2 list
Note: See TracChangeset for help on using the changeset viewer.