Changeset 2649 for extracted/list.ml


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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/list.ml

    r2601 r2649  
    114114| Nil -> Types.None
    115115| Cons (a, x) -> Types.Some a
     116
     117(** val option_cons : 'a1 Types.option -> 'a1 list -> 'a1 list **)
     118let option_cons c l =
     119  match c with
     120  | Types.None -> l
     121  | Types.Some c0 -> Cons (c0, l)
    116122
    117123(** val map : ('a1 -> 'a2) -> 'a1 list -> 'a2 list **)
Note: See TracChangeset for help on using the changeset viewer.