sig
  val find : ('-> bool) -> 'a list -> 'a option
  val rfind : ('-> bool) -> 'a list -> 'a option
  val findi : (int -> '-> bool) -> 'a list -> (int * 'a) option
  val split_at :
    int ->
    'a list -> [ `Invalid_argument of string | `Ok of 'a list * 'a list ]
  val at : 'a list -> int -> [ `Invalid_argument of string | `Ok of 'a ]
  val assoc : '-> ('a * 'b) list -> 'b option
  val assoc_inv : '-> ('a * 'b) list -> 'a option
  val assq : '-> ('a * 'b) list -> 'b option
  val find_map : ('-> 'b option) -> 'a list -> 'b option
  val hd : 'a list -> 'a option
  val tl : 'a list -> 'a list option
  val last : 'a list -> 'a option
end