equals

Checks whether another term is equals to the current one or not, by explicitly letting the client decide whether to rely or not on Varriables complete names for checking equality among two Variables. If useVarCompleteName is true, Variables are compared through their Var.completeName property. Otherwise, they are compared through their Var.name property. Other sorts of terms are compared as Term.equals(Any?).

For example, if useVarCompleteName is true the following comparison should fail:

Var.of("X") == Var.of("X")

otherwise, it should succeed.

Parameters