OCaml中的函数关键字

我发现了这段代码：

let functional ((fi: mval store -> mval store)) =
function sigma ->
let g = sem e r sigma in
if typecheck("bool",g) then
(if g = Bool(true) then fi(semcl cl r sigma) else sigma)
else failwith ("nonboolean guard")

---

但是我不明白函数关键字是什么意思，我试图在文档中查找它，但没有找到它。

它不是一个关键字，它是被定义函数的名称。

它不是一个关键字，它是被定义函数的名称。

我认为它可能是一个任意标识符，不是一个关键字，这可以解释它没有出现在DOCS中我认为它可能是一个任意的标识符，而不是一个关键字，这可以解释它没有出现在DOCS中无需说，这是一个糟糕的函数名。不用说，这是一个糟糕的函数名。