def Regex.Syntax.Parser.Test.instDecidableEqExceptErrorAst : DecidableEq (Except Error Ast)

Equations

• Regex.Syntax.Parser.Test.instDecidableEqExceptErrorAst = Regex.Syntax.Parser.Test.decEq✝