std::string::byte_at

Returns a byte at an index from a string.

Parameters

• input @rf11: String - the string to get the byte from. Triggers Checked Illegal Behavior if it’s not a string.
• idx @rv11: u64 - the index of the byte to get.

Return

• rv10: error code
• rv11: the desired byte

Errors

• 1: the parameter idx is greater than the string length.