在OCaml函数声明中使用":"的目的是什么

Question

OCaml声明的实际含义是什么？

let func (v: A.a) : unit =    

#rest of the function

1. 这是否意味着它需要类型Aa和返回单位的v
2. 或者它需要两个参数,v和Aa并返回一个单位？
3. 或者它需要一个带参数Aa的函数v并返回一个单位？
4. 或者是其他东西？

Answer 1

let func (v: A.a) : unit =

第一个:手段v is a parameter and its type is expected to be A.a.

第二种:方式func is expected to return a type of unit