Namespaces

For defining a namespace, the keyword namespace followed by the name of the namespace is to be used. Enclosed in curly braces, the namespace can include function, type and effect definitions as well as further nested namespaces:

namespace outer {

  def double(n: Int): Int = n * 2

  namespace inner {
    val x = 21
  }
}

You may use double colons for accessing namespaces:

outer::double(outer::inner::x)

Namespace definitions can omit the braces to range over the rest of the current scope.

namespace flat {
  namespace outer
  def double(n: Int): Int = n * 2

  namespace inner
  val x = 21
}

flat::outer::double(flat::outer::inner::x)
Captures Regions