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