New FASTER! SIMPLER! algorithm

[fireball-separation.git] / ocaml_new / util.mli

diff --git a/ocaml_new/util.mli b/ocaml_new/util.mli
new file mode 100644 (file)
index 0000000..96f03ed
--- /dev/null
+++ b/ocaml_new/util.mli
@@ -0,0 +1,21 @@
+val ( ++ ) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
+val findi : ('a -> bool) -> 'a list -> (int * 'a)
+val option_map : ('a -> 'b) -> 'a option -> 'b option
+val option_get : ('a option) -> 'a
+val find_opt : ('a -> 'b option) -> 'a list -> 'b option
+val index_of : ?eq:('a -> 'a -> bool) -> 'a -> 'a list -> int
+val index_of_opt : ?eq:('a -> 'a -> bool) -> 'a list -> 'a -> int option
+val filter_map : ('a -> 'b option) -> 'a list -> 'b list
+val first_duplicate : 'a list -> 'a option
+val split_duplicates : 'a list -> 'a list * 'a list
+val uniq : ?compare:('a -> 'a -> int) -> 'a list -> 'a list
+val sort_uniq : ?compare:('a -> 'a -> int) -> 'a list -> 'a list
+val list_cut : (int * 'a list) -> ('a list * 'a list)
+val concat_map : ('a -> 'b list) -> 'a list -> 'b list
+val take : int -> 'a list -> 'a list
+module Vars :
+  sig
+    val string_of_var : int -> string
+    val var_of_string : string -> int
+    val print_name : string list -> int -> string
+  end