ElementsKindTraits  109 src/elements.cc template<ElementsKind Kind> class ElementsKindTraits {
ElementsKindTraits  115 src/elements.cc template<> class ElementsKindTraits<KindParam> {               \