OCaml

Question

我找到了这段代码：

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")

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

Answer 1

它不是关键字，而是所定义函数的名称。