Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (9 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/utilities/miscPottier.mli

    r740 r818  
    11
    22(** This module provides some additional functions on lists or arithmetics. *)
     3
     4(* raises Not_found *)
     5val pos : 'a -> 'a list -> int
     6
     7val reduce : 'a list -> 'b list -> ('a list * 'a list) * ('b list * 'b list)
     8
     9(* raise Failure "MiscPottier.map3" if the list arguments are not of the same
     10   size. *)
     11val map3 : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b list -> 'c list -> 'd list
    312
    413val max_list : 'a list -> 'a
     
    2332(* [split l i] splits the list [l] in two lists: one with the elements
    2433   up until the [i]th (exclusive) and one with the rest. *)
    25 
    2634val split: 'a list -> int -> ('a list * 'a list)
    2735
     
    2937   element. Raises Invalid_argument "MiscPottier.split_last" if the list is
    3038   empty. *)
    31 
    3239val split_last : 'a list -> ('a list * 'a)
    3340
Note: See TracChangeset for help on using the changeset viewer.