| 1208 | // use an output container type different from the input container type. |
| 1209 | template <typename ContainerOut, typename ContainerIn1, typename ContainerIn2 = ContainerIn1> |
| 1210 | ContainerOut append_convert(const ContainerIn1& xs, const ContainerIn2& ys) |
| 1211 | { |
| 1212 | return append<ContainerIn1, ContainerIn2, ContainerOut>(xs, ys); |
| 1213 | } |
| 1214 | |
| 1215 | // API search type: concat : [[a]] -> [a] |
| 1216 | // fwd bind count: 0 |
nothing calls this directly
no outgoing calls
no test coverage detected