Documentation
checkFamInstConsistency :: [Module] -> [Module] -> TcM ()Source
tcExtendLocalFamInstEnv :: [FamInst] -> TcM a -> TcM aSource
checkFamInstConsistency :: [Module] -> [Module] -> TcM ()Source
tcExtendLocalFamInstEnv :: [FamInst] -> TcM a -> TcM aSource