Agda.TypeChecking.Injectivity

reduceHead

headSymbol

checkInjectivity

functionInverse

data InvView

useInjectivity