/// Strips std path-noise from [`type_name()`](std::any::type_name).
////// You can customize the behavior by using a [cargo patch].
////// [cargo patch]: https://doc.rust-lang.org/cargo/reference/overriding-dependencies.html?#the-patch-section
pubfnpretty(name:&str)->&str{// FIXME(rust): This can be const once type_name is.
let pretty =include!("pretty.expr.rs");for&(bad, good)in pretty {ifletSome(name)= name.strip_prefix(bad){if name.starts_with(good){return name;}}}
name
}