charon_
lib
0.1.73
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