Agda.TypeChecking.SyntacticEquality
class
SynEq
a
checkSyntacticEquality