FormatNested

flux_infer::lean_format

Trait FormatNested 

Source 
pub trait FormatNested {
    // Required method
    fn fmt_nested(
        &self,
        f: &mut Formatter<'_>,
        lean_cx: &LeanCtxt<'_, '_, '_>,
        fmt_cx: &mut ConstraintFormatter,
    ) -> Result;
}

Required Methods§

Source

fn fmt_nested( &self, f: &mut Formatter<'_>, lean_cx: &LeanCtxt<'_, '_, '_>, fmt_cx: &mut ConstraintFormatter, ) -> Result

Implementors§