Searched refs:isEtaExpandable (Results 1 – 1 of 1) sorted by relevance
112 isEtaExpandable :: [MetaKind] -> MetaId -> TCM Bool113 isEtaExpandable kinds x = do function530 …m = whenM ((not <$> isFrozen m) `and2M` asksTC envAssignMetas `and2M` isEtaExpandable kinds m) $ do