public bool Equals(
Term x,
Term y
)Public Function Equals (
x As Term,
y As Term
) As Booleanpublic:
virtual bool Equals(
Term^ x,
Term^ y
) sealedabstract Equals :
x : Term *
y : Term -> bool
override Equals :
x : Term *
y : Term -> bool