nspec - 0.1.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.