Home
last modified time | relevance | path

Searched defs:scopeImports (Results 1 – 1 of 1) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs62 , scopeImports :: Map C.QName A.ModuleName function
613 , scopeImports = Map.empty function
689 , scopeImports = (Map.union `on` scopeImports) s1 s2 function