Skip to main content
Log in

mojo demangle

Demangles the given name.

Synopsis

mojo demangle [options] <name>
mojo demangle [options] <name>

Description

If the given name is a mangled Mojo symbol name, prints the demangled name. If no name is provided, one is read from standard input.

Options

Common options

--help, -h

Displays help information.