package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val of_rev_list : 'a list -> 'a array
val sort_with_permutations : 'a array -> ('a -> 'a -> int) -> 'a array * (int -> int) * (int -> int)
val mem : 'a -> 'a array -> bool
val forall : 'a array -> (int -> 'a -> bool) -> bool
val exists : 'a array -> (int -> 'a -> bool) -> bool
val filter : ('a -> bool) -> 'a array -> 'a array
val custom_format : ('a -> string) -> string -> string -> string -> 'a array -> string
val format : ('a -> string) -> 'a array -> string
val format_plain : ('a -> string) -> 'a array -> string
val custom_formati : (int -> 'a -> string) -> string -> string -> string -> 'a array -> string
val formati : (int -> 'a -> string) -> 'a array -> string
val format_plaini : (int -> 'a -> string) -> 'a array -> string
val find2 : ('a -> bool) -> 'a array -> int -> int
val find : ('a -> bool) -> 'a array -> int
val index_of2 : 'a array -> 'a -> int -> int
val index_of : 'a array -> 'a -> int
val find2_last : ('a -> bool) -> 'a array -> int -> int
val find_last : ('a -> bool) -> 'a array -> int
val index_of2_last : 'a array -> 'a -> int -> int
val index_of_last : 'a array -> 'a -> int
val min_elt_idx : ('a -> 'a -> int) -> 'a array -> int
val max_elt_idx : ('a -> 'a -> int) -> 'a array -> int
val min_elt : ('a -> 'a -> int) -> 'a array -> 'a
val max_elt : ('a -> 'a -> int) -> 'a array -> 'a
val shuffle : 'a array -> 'a array