LeanFmt

flux_infer::lean_format

Trait LeanFmt 

Source 
pub trait LeanFmt {
    // Required method
    fn lean_fmt(
        &self,
        f: &mut Formatter<'_>,
        cx: &LeanCtxt<'_, '_, '_>,
    ) -> Result;
}

Required Methods§

Source

fn lean_fmt(&self, f: &mut Formatter<'_>, cx: &LeanCtxt<'_, '_, '_>) -> Result

Implementations on Foreign Types§

Source§

impl LeanFmt for (&KVid, &ClosedSolution)

Source§

fn lean_fmt(&self, f: &mut Formatter<'_>, cx: &LeanCtxt<'_, '_, '_>) -> Result

Source§

impl<T: LeanFmt> LeanFmt for &T

Source§

fn lean_fmt(&self, f: &mut Formatter<'_>, cx: &LeanCtxt<'_, '_, '_>) -> Result

Implementors§