What's meant by “isSome oldest(tl dates)” here; why “oldest(tl dates)” has a option type?

Question

fun oldest (dates: (intintint) list) = if null dates then NONE else let val ans = oldest(tl dates) in if isSome ans andalso is_older(valOf ans, hd date