Agda.TypeChecking.Rules.LHS.Unify
type
UnificationResult
data
UnificationResult'
a
unifyIndices