Ignore:
Timestamp:
Dec 2, 2011, 7:49:19 PM (8 years ago)
Author:
tranquil
Message:

fighting with a bug of the translation from RTL to ERTL

File:
1 edited

Legend:

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

    r1584 r1585  
    1010   size. *)
    1111val map3 : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b list -> 'c list -> 'd list
     12val fold3_left : ('a -> 'b -> 'c -> 'd -> 'a) ->
     13  'a -> 'b list -> 'c list -> 'd list -> 'a
    1214val fold3_right : ('a -> 'b -> 'c -> 'd -> 'd) ->
    1315  'a list -> 'b list -> 'c list -> 'd -> 'd
Note: See TracChangeset for help on using the changeset viewer.