Agda.TypeChecking.SyntacticEquality

class SynEq a

checkSyntacticEquality