> On Oct 1, 2015, at 2:41 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
>
> type s = [`A | `B]
> type t = [s]

type t = s

--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs