Agda.TypeChecking.Irrelevance
unusableRelevance
composeRelevance
inverseComposeRelevance
ignoreForced
irrToNonStrict
nonStrictToIrr
Arg
hideAndRelParams
modifyArgRelevance
inverseApplyRelevance
applyRelevance
Context
workOnTypes
doWorkOnTypes
workOnTypes'
applyRelevanceToContext
wakeIrrelevantVars