Archives of the Caml mailing list > Message from Damien Pous

Browse thread

recursive types

nakata keiko
- Damien Pous
  - skaller

Date:	2004-12-13 (10:01)
From:	Damien Pous <Damien.Pous@e...>
Subject:	Re: [Caml-list] recursive types

You can do something this:

type 'a exp_ = [`Num of 'a |`Neg of 'a] 

class type obj = object 
  method eql : obj exp_ ->  bool
end

type exp = obj exp_


Damien