这是我为操纵命题公式而创建的类型:
type bexp = V of string
|B of bool
| Neg of bexp
| And of bexp * bexp
| Or of bexp * bexp
| Impl of bexp * bexp
| Eqv of bexp * bexp
我需要操作一组公式但是当我尝试创建它时会出现类型错误:
module MyOwn = struct
type =bexp
compare=compare
end ;;
Characters 30-31:
type =bexp
我做错了什么,拜托,你能帮助我吗?
答案 0 :(得分:1)
你需要说
type t = bexp
您刚刚省略了类型名称t
。