package dolmen
val of_ustring : string -> t
Create a string from a unicode UTF-8 encoded string (with escape sequences already interpreted as unicode characters).
Returns the code point of the single character of the string, or (-1)
is the string is not a singleton.
Index of the first occurrence of the second string in first one, starting at the position of the third argument.
module RegLan : Smtlib_String_RegLan with type t := t
Sub-module used for namespacing for the regular language part of the theory requirements.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>