Node: notion of redefinition/refinement, Next: , Previous: Assignment operators such as +=, Up: Missing Documentation



The notion of redefinition/refinement