Microsoft.Z3.FuncDecl.Equals C# (CSharp) Méthode

        public override bool Equals(object o)
        {
            FuncDecl casted = o as FuncDecl;
            if (casted == null) return false;
            return this == casted;
        }