module Stdlib.Data.String;

--- Primitive representation of a sequence of characters.
builtin string
axiom String : Type;

infixr 5 ++str;
--- Concatenation of two ;String;s.
builtin string-concat
axiom ++str : String -> String -> String;