Changeset 1584 for Deliverables/D2.2/8051/src/utilities/miscPottier.mli

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:

• Deliverables/D2.2/8051/src/utilities/miscPottier.mli (modified) (3 diffs)

Deliverables/D2.2/8051/src/utilities/miscPottier.mli

@@ -10 +10 @@
    size. *)
 val map3 : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b list -> 'c list -> 'd list
+val fold3_right : ('a -> 'b -> 'c -> 'd -> 'd) ->
+  'a list -> 'b list -> 'c list -> 'd -> 'd
 
 val max_list : 'a list -> 'a
@@ -16 +18 @@
 
 val make: 'a -> int -> 'a list
+
+val makei : (int -> 'a) -> int -> 'a list
 
 val index_of : 'a -> 'a list -> int
@@ -84 +88 @@
 
 val string_of_list: string -> ('a -> string) -> 'a list -> string
+
+(* [sublist h k l] gives the sublist of [l] starting from index [h] to
+   [k] excluded. Can raise [Invalid_argument "sublist: invalid interval"]. *)
+val sublist : 'a list -> int -> int -> 'a list
+
+(* [fill l n] makes a list of length [n] using elements from [l], possibly
+   repeating it. Raises Invalid_argument if [n < 0] or [l = []]. *)
+val fill : 'a list -> int -> 'a list
+