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

Implementors§