Skip to main content

trait_impl_short_name

charon_lib::pretty::fmt_with_ctx

Function trait_impl_short_name 

Source 
fn trait_impl_short_name<C: AstFormatter>(
    ctx: &C,
    impl_id: TraitImplId,
) -> Option<&Name>