juvix-docs - 0.0.0

Juvix.Builtin.V1.String

Definitions

builtin string axiom String : TypeSource#

Primitive representation of a sequence of characters.

builtin string-concat axiom ++str : String -> String -> StringSource#

Concatenation of two Strings.