OCaml输入错误

时间:2014-04-30 15:50:29

标签: set logic ocaml formulas

这是我为操纵命题公式而创建的类型:

 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 

我做错了什么,拜托,你能帮助我吗?

1 个答案:

答案 0 :(得分:1)

你需要说

type t = bexp

您刚刚省略了类型名称t