[Toss-devel] Hierarchical Terms and OOP

[Lukasz S. <luk...@gm...>]

It's probably obvious, but I should state it "out loud". When we have
hierarchical term "f(s_1, ..., s_m; t_1, ..., t_n)", it is like
calling a class constructor. "t_1", ..., "t_n" are values for fields
added to the object by class "f", and "s_1" up to "s_m" are calls to
the constructors of superclasses of "f". So if "s_1 = g(...; u_1, ...,
u_k)" then "u_1" ... "u_k" are values for fields added by the "g"
superclass, etc.