OxL Reference

3.3 Composite types

TypeDescription
[T; N]fixed-length array, N is a comptime constant
[T]slice — a borrowed view of an array or list; borrowing rules (§7.3)
List<T>dynamic list
Map<K, V>hash table; iteration in insertion order
Set<T>set; iteration in insertion order
(A, B, …)tuple; fields .0, .1
fn(A, B) -> R efffunction type with effects (§6.2)

A literal [a, b] has type List<T> unless the context requires [T; N] or [T]. A literal {k: v} is a Map<K, V>.

Source: docs/spec/oxl-standard.en.md