ocaml/util.mli

   1 val ( ++ ) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
   2 val findi : ('a -> bool) -> 'a list -> (int * 'a)
   3 val option_map : ('a -> 'b) -> 'a option -> 'b option
   4 val find_opt : ('a -> 'b option) -> 'a list -> 'b option
   5 val index_of : ?eq:('a -> 'a -> bool) -> 'a -> 'a list -> int
   6 val index_of_opt : ?eq:('a -> 'a -> bool) -> 'a list -> 'a -> int option
   7 val filter_map : ('a -> 'b option) -> 'a list -> 'b list
   8 val first_duplicate : 'a list -> 'a option
   9 val split_duplicates : 'a list -> 'a list * 'a list
  10 val uniq : ?compare:('a -> 'a -> int) -> 'a list -> 'a list
  11 val sort_uniq : ?compare:('a -> 'a -> int) -> 'a list -> 'a list
  12 val list_cut : (int * 'a list) -> ('a list * 'a list)
  13 val concat_map : ('a -> 'b list) -> 'a list -> 'b list
  14 val take : int -> 'a list -> 'a list
  15 module Vars :
  16   sig
  17     val string_of_var : int -> string
  18     val var_of_string : string -> int
  19     val print_name : string list -> int -> string
  20   end