fn format_fn_root_binder<T: Pretty + TypeVisitable>(
binder: &Binder<T>,
cx: &PrettyCx<'_, '_>,
fn_root_layer_type: FnRootLayerType,
binder_name: &str,
f: &mut Formatter<'_>,
) -> Result
fn format_fn_root_binder<T: Pretty + TypeVisitable>(
binder: &Binder<T>,
cx: &PrettyCx<'_, '_>,
fn_root_layer_type: FnRootLayerType,
binder_name: &str,
f: &mut Formatter<'_>,
) -> Result