Module string

Generic string helpers exposed to generated programs.

Constants

CONCAT_SYMBOL

Public symbol for std::string::concat.

DROP_SYMBOL

Public symbol for std::string::drop.

STARTS_WITH_SYMBOL

Public symbol for std::string::starts_with.

TAKE_SYMBOL

Public symbol for std::string::take.

Functions

concat

Concatenate two strings.

drop

Drop the first count Unicode scalar values from a string.

starts_with

Return whether one string begins with the provided prefix.

take

Take the first count Unicode scalar values from a string.