columns

fun columns(line: String, names: List<String>, separator: Char): Map<String, Double>?

line split by separator into numbers named names, or null when it is not such a line.