array2

create immutable array from this

create a list from this array

the current state of the buffer
as a string.

stop any further mutations of this element

Get the dynamic type of this instance. For value instances `x`, this is
equal to `type_of x`, but for `x` with a `ref` type `x.dynamic_type` gives
the actual runtime type, while `type_of x` results in the static
compile-time type.

There is no dynamic type of a type instance since this would result in an
endless hierachy of types. So for Type values, dynamic_type is redefined
to just return Type.type.

get element at given index i

set element at given index i to given value o

all pairs of indices: (0, 0), (0, 1), (0, 2), ..., (length0-1, length1-1)

indices range in the first dimension

indices range in the second dimension

name of this type, including type parameters, e.g. 'option (list i32)'.

is this element open, i.e., can it be mutated?

convenience prefix operator to create a string from a value.

This permits usage of `$` as a prefix operator in a similar way both
inside and outside of constant strings: $x and "$x" will produce the
same string.

initialize two-dimensional mutable array

Get a type as a value.

This is a feature with the effect equivalent to Fuzion's `expr.type` call tail.
It is recommended to use `expr.type` and not `expr.type_value`.

`type_value` is here to show how this can be implemented and to illustrate the
difference to `dynamic_type`.