> Is Mapping different from Mapping because I can write > > Mapping(Integer,Integer) > > and > > Mapping(Integer,Integer,Integer) > > ?
That depends on the definition of Mapping. Unfortunately, I am not so good in SPAD and Mapping seems to be rather tightly connected to the internals. So let me try to explain in Aldor. I hope, you don't mind. A(X: with): with == add; A(X: with, Y: with): with == add; B(T: Tuple Type): with == add; There are two A's and one B although you can call for both A(Integer) A(Integer,Integer) B(Integer) B(Integer,Integer) Ralf ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
