Builtin types

These types are available without an import — the numeric tower plus the auto-prelude. See the spec for the full type system.

Type	Category	Description
i8	primitive	8-bit signed integer.
i16	primitive	16-bit signed integer.
i32	primitive	32-bit signed integer.
i64	primitive	64-bit signed integer.
u8	primitive	8-bit unsigned integer.
u16	primitive	16-bit unsigned integer.
u32	primitive	32-bit unsigned integer.
u64	primitive	64-bit unsigned integer.
f16	primitive	16-bit IEEE-754 float.
f32	primitive	32-bit IEEE-754 float.
f64	primitive	64-bit IEEE-754 float.
bool	primitive	Boolean (true / false).
str	primitive	UTF-8 string; (ptr, len) at the MIR/ABI tier.
Simd	prelude	Simd<T, const N> — hardware-mapped SIMD lanes.
Tensor	prelude	Tensor<T, const Shape> — static-shape tensor.
DynTensor	prelude	DynTensor<T> — runtime-shape tensor.
Option	prelude	Option<T> — an optional value (Some / None).
Result	prelude	Result<T, E> — success or error; drives try / catch.
Vec	prelude	Vec<T> — a growable, region-allocated sequence.
Region	prelude	A memory region handle (spec/memory.md).
Arena	prelude	An arena allocator over a region (spec/memory.md).