summaryrefslogtreecommitdiff
path: root/plugins/nsatz/utile.mli
blob: 1f84157520b87e3771e2a92c153be5f109f5a2b2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

(* Printing *)
val pr : string -> unit
val prn : string -> unit
val prt0 : 'a -> unit
val prt : string -> unit
val info : string -> unit

(* Listes *)
val list_mem_eq : ('a -> 'b -> bool) -> 'a -> 'b list -> bool
val set_of_list_eq : ('a -> 'a -> bool) -> 'a list -> 'a list


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