Variables and Constants

• Variable assignment.

  v : T := e            v := e        (a, b, c) := e
  

• Constant definition.

  c: T == e             c == e
  

• Variables and constants are introduced to a scope by an assignment or definition, and are visible over the whole scope.
• They may be explicitly declared, if desired.
• Constant names may be overloaded; variable names cannot.
• Function definitions

  f(a: A): R == e       <=>    f: (a: A) -> R == (a: A): R +-> e
  

• The type of each variable or constant is fixed, and visible to all that can see it.
• The value of constants may also be made visible, using define.