Home
last modified time | relevance | path

Searched refs:kLookupTyVar (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DMonad.hs912 kLookupTyVar :: Name -> KindM (Maybe LkpTyVar)
913 kLookupTyVar x = KM $ function
H A DKind.hs245 mcase kLookupTyVar checkBoundVarUse $