[
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: | Lukasz Stafiniak <lukstafi@g...> |
| Subject: | Existential types |
Hi! I use an abstract type and a one-way typecast operator to implement existential quantification; e. g. type 'a t type unknown_t let some (v : 'a t) = ((Obj.magic v) : unknown_t t) Good? Best Regards, Lukasz