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