Searched refs:allDeclGroups (Results 1 – 5 of 5) sorted by relevance
63 let extDgs = allDeclGroups (M.minpModuleEnv minp)333 allDeclGroups :: M.ModuleEnv -> [DeclGroup]334 allDeclGroups = function
152 env' <- E.evalDecls C.Concrete (M.allDeclGroups menv) mempty174 env' <- E.evalDecls S.SBV (M.allDeclGroups menv) mempty
190 allDeclGroups :: ModuleEnv -> [T.DeclGroup]191 allDeclGroups = concatMap T.mDecls . loadedNonParamModules function
308 let extDgs = M.allDeclGroups modEnv ++ pcExtraDecls
287 let extDgs = M.allDeclGroups modEnv ++ pcExtraDecls