Searched refs:kLookupTyVar (Results 1 – 2 of 2) sorted by relevance
912 kLookupTyVar :: Name -> KindM (Maybe LkpTyVar)913 kLookupTyVar x = KM $ function
245 mcase kLookupTyVar checkBoundVarUse $