iHighlighting (reference) in projects: dports

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/HTML/
H A D	Base.hs	`147 srcFileOfInterface m i = HtmlInputSourceFile m (TCM.iFileType i) (TCM.iSource i) (TCM.iHighlighting…`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A D	Imports.hs	`810 printHighlightingInfo KeepHighlighting (iHighlighting i) 1199 , iHighlighting = syntaxInfo function`
H A D	InteractionTop.hs	`610 return $ Just (iHighlighting $ miInterface mi, method, modFile)`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/LaTeX/
H A D	Base.hs	`711 (iHighlighting i)`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Base.hs	`957 , iHighlighting :: HighlightingInfo function`