You need to say
type t = bexp
You just left out the type name t
.
Domanda
Here's the type I have created to manipulate propositional 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
I need to manipulate a set of formulas but I get error of type when I try to create it:
module MyOwn = struct
type =bexp
compare=compare
end ;;
Characters 30-31:
type =bexp
What did I got wrong, Can you help me,please?
Soluzione
You need to say
type t = bexp
You just left out the type name t
.