And I am asking you to provide the actual implementation of your hypothetical function equal().

I don't need to know the implementation of the real function == from any programming language because, without looking at any source code I can tell you that it has implicit arguments: a tautology.

If you disagree, then please explain how equality functions.