Ignore:
Timestamp:
Dec 2, 2011, 3:13:04 PM (9 years ago)
Author:
tranquil
Message:
  • new form of translation written in graphUtilites (mainly as a test before implementation in Matita)
  • rewritten multiplication in RTLasbToRTL
File:
1 edited

Legend:

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

    r818 r1584  
    1010   size. *)
    1111val map3 : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b list -> 'c list -> 'd list
     12val fold3_right : ('a -> 'b -> 'c -> 'd -> 'd) ->
     13  'a list -> 'b list -> 'c list -> 'd -> 'd
    1214
    1315val max_list : 'a list -> 'a
     
    1618
    1719val make: 'a -> int -> 'a list
     20
     21val makei : (int -> 'a) -> int -> 'a list
    1822
    1923val index_of : 'a -> 'a list -> int
     
    8488
    8589val string_of_list: string -> ('a -> string) -> 'a list -> string
     90
     91(* [sublist h k l] gives the sublist of [l] starting from index [h] to
     92   [k] excluded. Can raise [Invalid_argument "sublist: invalid interval"]. *)
     93val sublist : 'a list -> int -> int -> 'a list
     94
     95(* [fill l n] makes a list of length [n] using elements from [l], possibly
     96   repeating it. Raises Invalid_argument if [n < 0] or [l = []]. *)
     97val fill : 'a list -> int -> 'a list
     98
Note: See TracChangeset for help on using the changeset viewer.