| 137 | } |
| 138 | |
| 139 | const std::string OpDef::make_name() const { |
| 140 | if (m_scope.empty()) |
| 141 | return trait()->make_name(*this); |
| 142 | return m_scope + "." + trait()->make_name(*this); |
| 143 | } |
| 144 | |
| 145 | const std::string OpDef::type_name() const { |
| 146 | return trait()->name; |