charon_
lib
0.1.49
Into
Formatter
Required Associated Types
C
Required Methods
into_fmt
Implementors
In charon_
lib::
pretty::
formatter
charon_lib
::
pretty
::
formatter
Trait
IntoFormatter
Copy item path
source
pub trait IntoFormatter { type
C
:
AstFormatter
; // Required method fn
into_fmt
(self) -> Self::
C
; }
Required Associated Types
§
source
type
C
:
AstFormatter
Required Methods
§
source
fn
into_fmt
(self) -> Self::
C
Implementors
§
source
§
impl<'a>
IntoFormatter
for &'a
TransformCtx
<'_>
source
§
type
C
=
FmtCtx
<'a>
source
§
impl<'tcx, 'ctx, 'a>
IntoFormatter
for &'a
TranslatedCrate
source
§
type
C
=
FmtCtx
<'a>
source
§
impl<C:
AstFormatter
>
IntoFormatter
for C
source
§
type
C
= C