blob: 927e6f43320bce073b073ec7a4646a28a4b67a7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
(* Printing *)
val pr : string -> unit
val prn : string -> unit
val prt0 : 'a -> unit
val prt : string -> unit
val info : string -> unit
(* Array *)
val compte : 'a array -> 'a -> int
val maximum : int array -> int
val matrix_map : ('a -> 'b) -> 'a array array -> 'b array array
val array_select : ('a -> bool) -> 'a array -> 'a array
val array_test : ('a -> bool) -> 'a array -> bool
val array_find : 'a -> 'a array -> int
(* Listes *)
val set_of_list : 'a list -> 'a list
val list_mem_eq : ('a -> 'b -> bool) -> 'a -> 'b list -> bool
val set_of_list_eq : ('a -> 'a -> bool) -> 'a list -> 'a list
val list_select : ('a -> bool) -> 'a list -> 'a list
(* Memoization *)
val memo :
('a * 'b) list ref -> ('a -> 'a -> bool) -> 'b -> ('a -> 'b) -> 'a -> 'b
val memos :
string -> ('a, 'b) Hashtbl.t -> ('c -> 'a) -> ('c -> 'b) -> 'c -> 'b
val facteurs_liste : ('a -> 'a -> 'a) -> ('a -> bool) -> 'a list -> 'a list
val factorise_tableau :
('a -> 'b -> 'a) ->
('a -> bool) ->
'a -> 'a array -> 'b array -> 'b array * ('a * int list) array
|
