Juvix.Builtin.V1.String
Contents
builtin string axiom String : TypeSource#
Primitive representation of a sequence of characters.
builtin string-concat axiom ++str : String -> String -> StringSource#
Concatenation of two Strings.
