Searched refs:sKindVarMap (Results 1 – 7 of 7) sorted by relevance
268 sKindVarMap :: Map Name (Set Name)269 sKindVarMap = Map.fromList $ map kindVarsOfTvb $ D.freeVariablesWellScoped [s] function272 lookupSKindVars n = fromMaybe Set.empty $ Map.lookup n sKindVarMap
973 sKindVarMap :: Map Name (Set Name)974 sKindVarMap = Map.fromList $ map kindVarsOfTvb $ D.freeVariablesWellScoped [s] function977 lookupSKindVars n = fromMaybe Set.empty $ Map.lookup n sKindVarMap