Searched refs:unnamed_nums (Results 1 – 1 of 1) sorted by relevance
867 $ named ++ zip unnamed_nums numNames877 unnamed_nums = [ u | (u,Nothing,KNum) <- map nm as ] function