sig
  val nth_opt : 'a list -> int -> 'a option
  val find_opt : ('-> bool) -> 'a list -> 'a option
  val assoc_opt : '-> ('a * 'b) list -> 'b option
  val assq_opt : '-> ('a * 'b) list -> 'b option
end