Agda.TypeChecking.Rules.LHS.Unify
data
Unify
a
data
Equality
type
Sub
data
UnifyException
data
UnifyState
constructorMismatch
getSub
onSub
modSub
checkEqualities
addEquality
takeEqualities
occursCheck
(|->)
makeSubstitution
ureduce
flattenSubstitution
data
UnificationResult
unifyIndices_
unifyIndices
dataOrRecordType