+
Point of view
All features
expanded class UNICODE_STRING_HELPER
Summary
top
Direct parents
Insert list: ANY
Known children
Insert list: JSON_STRING, UNICODE_STRING
Overview
top
Features
{ANY}
utf8_character_in (character: INTEGER_32, s: STRING)
effective procedure
{ANY}
top
require
  • character >= 0
  • s /= Void