Home
last modified time | relevance | path

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

/dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/
H A DDecl.hs352 injAnn = case injectivity of function
/dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/Backends/
H A DLaTeX.hs394 injAnn = case injectivity of function