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;Last modified on 2023-04-19 22:00 UTC