sig   val find : f:('-> bool) -> 'a list -> 'a option   val rfind : f:('-> bool) -> 'a list -> 'a option   val findi : f:(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 end