'a versus ('a)
"Manfred Lotz [email protected] [ocaml_beginners]" <[email protected]> Mon, 30 May 2016 20:32:51 +0200
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <[email protected]> |
I have seen both 'a and ('a) in type definitions like this:
type 'a tree = Leaf of 'a | Node of 'a tree * 'a tree;;
type ('a) tree = Leaf of 'a | Node of 'a tree * 'a tree;;
It seems they are equivalent.
Is there a reason why I would write ('a) instead of just 'a? Or is is
just a matter of taste?
--
Manfred