/** Generic template utilities. */ namespace Templates { /** Borrowed from Alexandrescu's Modern C++ Design. * A distinct type for each integer. */ template struct Int2Type { enum { value = v } ; }; }