In this example, the
use base.Listclause allows the definition that follows it to refer to
oneTwo = List.take 2 [1, 2, 3]
The general form of
useclauses is as follows:
use pathToNamespace name_1 name_2 .. name_n
namespaceis the namespace from which we want to use names unqualified, and
name_nare the names we want to use. If no names are given in the
useclause, Unison allows all the names from the namespace to be used unqualified. There's no performance penalty for this, as
useclauses are purely a syntactic convenience. When rendering code as text, Unison will insert precise
useclauses that mention exactly the names it uses, even if the programmer omitted the list of names.
See the section onidentifiersfor more on namespaces as well as qualified and unqualified names.