DynBindModel

Motivation:

Eiffels dynamic binding is somewhat more complex than that of other languages. Its structure is still very simple and can be described by giving the relation γ:

$\gamma :(\mathrm{T}\mathrm{Y}\mathrm{P}\mathrm{E}\times \mathrm{N}\mathrm{A}\mathrm{M}\mathrm{E})\to (\mathrm{T}\mathrm{Y}\mathrm{P}\mathrm{E}\to \mathrm{N}\mathrm{A}\mathrm{M}\mathrm{E})$