Sylvain Pion <Sylvain.Pion at sophia.inria.fr> writes: [...] | As far as C++ is concerned, such a type would belong to the library, it | would not be a new language built-in type. I concur. -- Gaby