Searched refs:SafeFlagInjective (Results 1 – 5 of 5) sorted by relevance
217 SafeFlagInjective -> fsep $
51 SafeFlagInjective -> __IMPOSSIBLE__
446 SafeFlagInjective -> errorWarningHighlighting w
3312 | SafeFlagInjective constructor3408 SafeFlagInjective -> SafeFlagInjective_
1464 C.InjectivePragma{} -> Just SafeFlagInjective