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 option_get : ('a option) -> 'a
   5 val find_opt : ('a -> 'b option) -> 'a list -> 'b option
   6 val index_of : ?eq:('a -> 'a -> bool) -> 'a -> 'a list -> int
   7 val index_of_opt : ?eq:('a -> 'a -> bool) -> 'a list -> 'a -> int option
   8 val filter_map : ('a -> 'b option) -> 'a list -> 'b list
   9 val first_duplicate : 'a list -> 'a option
  10 val split_duplicates : 'a list -> 'a list * 'a list
  11 val uniq : ?compare:('a -> 'a -> int) -> 'a list -> 'a list
  12 val sort_uniq : ?compare:('a -> 'a -> int) -> 'a list -> 'a list
  13 val list_cut : (int * 'a list) -> ('a list * 'a list)
  14 val concat_map : ('a -> 'b list) -> 'a list -> 'b list
  15 val take : int -> 'a list -> 'a list
  16 module Vars :
  17   sig
  18     val string_of_var : int -> string
  19     val var_of_string : string -> int
  20     val print_name : string list -> int -> string
  21   end