Header menu logo B2R2

String Module

Provides string utility functions used in RearEnd.

Functions and values

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

Type something to start searching.