String (B2R2)

String Module

Provides string utility functions used in RearEnd.

Function or value	Description
`String.ofEntryPointOpt entryPoint` Full Usage: `String.ofEntryPointOpt entryPoint` Parameters: entryPoint : `Addr option` Returns: `string`	Converts an optional entry point to a string. entryPoint : `Addr option` Returns: `string`
`String.ofEnum v` Full Usage: `String.ofEnum v` Parameters: v : `Enum` Returns: `string` Modifiers: inline	Converts an enum value to an enumerated string with a bullet point. v : `Enum` Returns: `string`
`String.toColoredString s col` Full Usage: `String.toColoredString s col` Parameters: s : `string` col : `Color` Returns: `ColoredString` Modifiers: inline	Converts a string to a ColoredString with the specified color. s : `string` col : `Color` Returns: `ColoredString`