返回一个函数返回bool VS返回bool（OCaml）

Question

type form = TRUE
    |FALSE
    |NOT of form

let rec check x = function
    TRUE            -> true
    |FALSE          -> false
    |NOT(y)         -> not eval y
(*where TRUE, FALSE and NOT all custom type 'form'*)

我尝试定义一个函数表单 - ＆gt; bool，但我得到了

的编译错误

    |NOT(y)         -> not eval y

线。错误消息显示

This expression type form  -> bool, but an expression was expected of type bool

虽然功能＆＃39; eval＆＃39;返回类型＆＃39; bool＆＃39;，它是什么原因，它不能成为返回bool的函数的返回值？