OCaml的打字錯誤

Question

這裏是我創建操縱命題公式類型：我需要操縱一組公式

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 

我錯了什麼，你能幫助我嗎？

Answer 1

你需要說

type t = bexp 

你只留出了類型名稱t。