| 296 | // Converts one type of element into another. |
| 297 | template <typename Dest, typename Source> |
| 298 | Dest convert(const Source& x) |
| 299 | { |
| 300 | return Dest(x); |
| 301 | } |
| 302 | |
| 303 | // API search type: convert_elems : [a] -> [b] |
| 304 | // fwd bind count: 0 |
nothing calls this directly
no outgoing calls
no test coverage detected