override internal protected R Accept <R, A>(EqualityExplanationVisitor <R, A> visitor, A arg) { return(visitor.Congruence(this, arg)); }
override internal protected R Accept <R, A>(EqualityExplanationVisitor <R, A> visitor, A arg) { return(visitor.Congruence(this, arg)); }