function Equals(a, b): boolean;