Just as each variable <variable> can only have one type
signature <dup-sig>, so each variable can only have one definition <definition>. Once a variable is defined, it is not possible to change its value to something different. This is quite different than some other languages. See the documentation
about definitions <definition> for more information.