OCaml allows locally abstract types:
let f (type t) x = ...
Can the t take parameters as in 'a t? I want to have a locally
abstract type that has type parameters. The manual says the t in
(type t) must be {typeconstr-name}+ which expands to a sequence of
lowercase-ident, so probably this is not allowed...
--
Kenichi Asai