Searched refs:starKName (Results 1 – 2 of 2) sorted by relevance
112 starKName, constraintKName,480 starKName, constraintKName :: Name487 starKName = libFun (fsLit "starK") starKIdKey function
2505 repTStar = rep2 starKName []