Browse thread
Attach an invariant to a type
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Romain Bardou <romain.bardou@l...> |
| Subject: | Re: [Caml-list] Attach an invariant to a type |
>> to take advantage of private types. Am I missing something? >> > > No you're not :) as far as I know, a private type can only be a record > or a variant. Yes, sorry, I should have tested my code >< -- Romain Bardou