Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DPrecise.hs150 , otherAspects :: Set OtherAspect function
433 , otherAspects = (Set.union `on` otherAspects) m1 m2 function
450 , otherAspects = Set.empty function
H A DGenerate.hs633 (parserBased { otherAspects = Set.singleton UnsolvedConstraint }) function