5
5
import Agda.Syntax.Info (ModuleInfo)
6
import Agda.Syntax.Abstract (QName, Expr, Declaration, ModuleName, ModuleApplication)
6
import Agda.Syntax.Abstract (QName, Declaration, ModuleName, ModuleApplication)
7
7
import Agda.TypeChecking.Monad (TCM)
9
9
checkDecls :: [Declaration] -> TCM ()