Module Const.StringSource

A module for string constant symbols that occur in terms.

Sourceval string : string -> t

String literal.

Sourceval length : t

String length.

Sourceval at : t

Get a char in a string.

Sourceval to_code : t

Returns the code point of a the single character of the string or (-1) if the string is not a singleton.

Sourceval of_code : t

Returns the singleton string whose only character is the given code point.

Sourceval is_digit : t

Check if the string a singleton string with a single digit character.

Sourceval to_int : t

Evaluates the string as a decimal natural number, or (-1) if it's not possible.

Sourceval of_int : t

Convert an int expression to a string in decimal representation.

Sourceval concat : t

String concatenation.

Sourceval sub : t

Substring extraction.

Sourceval index_of : t

Index of the first occurrence of the second string in first one, starting at the position of the third argument.

Sourceval replace : t

Replace the first occurrence.

Sourceval replace_all : t

Replace all occurrences.

Sourceval replace_re : t

Replace the leftmost, shortest re ocurrence.

Sourceval replace_re_all : t

Replace left-to-right, each shortest non empty re occurrence.

Sourceval is_prefix : t

Check if the first string is a prefix of the second one.

Sourceval is_suffix : t

Check if the first string is a suffix of the second one.

Sourceval contains : t

Check if the first string contains the second one.

Sourceval lt : t

Check for lexicographic strict ordering.

Sourceval leq : t

Check for lexicographic large ordering.

Sourceval in_re : t

Check if the string is in regular language.

Sourcemodule Reg_Lang : sig ... end

A module for regular language constant symbols that occur in terms.