Разница OCaml между 'списком опций и' a

Question

Я получил следующие результаты при наборе этой функции в OCaml toplevel. Вход кажется мне идентичным одновременно, другой - пробел, окружающий оператор ::. Может ли кто-нибудь объяснить разницу между 'a option list и 'a option здесь?

# let rec at i = function 
    | [] -> None 
    | h::t -> if i = 1 then Some h else at (i-1) t;; 
    val at : int -> 'a option list -> 'a option = <fun> 
# let rec at i = function 
    | [] -> None 
    | h :: t -> if i = 1 then Some h else at (i-1) t;; 
    val at : int -> 'a list -> 'a option = <fun> 

Answer 1

Вот что я вижу:

$ ocaml 
     OCaml version 4.01.0 

# let rec at i = function 
    | [] -> None 
    | h::t -> if i = 1 then Some h else at (i-1) t;; 
val at : int -> 'a list -> 'a option = <fun> 
# let rec at i = function 
    | [] -> None 
    | h :: t -> if i = 1 then Some h else at (i-1) t;; 
val at : int -> 'a list -> 'a option = <fun> 

На мой взгляд, эксперимент был испорчен каким-либо образом. Расстояние между :: не имеет значения.