Searched refs:loneNames (Results 1 – 1 of 1) sorted by relevance
969 let ps = loneSigsFromLoneNames loneNames1103 loneNames = [ (r, x, k) | (r, x, k) <- sigNames, List.all ((x /=) . fst) defNames ] function