bap-demangle
Bap_demangle
Name demangling.
This library provides an interface for creating and registering demanglers, that can be used on demand by fronends and plugins.
module Std : sig ... end