---
name: String
kind: type
since: 0.1
stability: stable
---

UTF-8 encoded text.

The default carrier for human-readable values: prompts, identifiers,
locale tags, free-form messages. Equality is byte-identical, so two
`String` values that differ only in normalisation form are not equal
under `==`.

Used everywhere the source program writes text literals (e.g.,
`"hello"`) and as the canonical type for `field: String`.
