Home
last modified time | relevance | path

Searched refs:prettyNameSpace (Results 1 – 1 of 1) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs1372 pretty = vcat . prettyNameSpace
1374 prettyNameSpace :: NameSpace -> [Doc]
1375 prettyNameSpace (NameSpace names mods _) = function
1387 block (pretty nsid) $ prettyNameSpace ns