pub fn nested_with_bound_vars(
cx: &PrettyCx<'_, '_>,
left: &str,
vars: &[BoundVariableKind],
f: impl FnOnce(String) -> Result<NestedString, Error>,
) -> Result<NestedString, Error>
pub fn nested_with_bound_vars(
cx: &PrettyCx<'_, '_>,
left: &str,
vars: &[BoundVariableKind],
f: impl FnOnce(String) -> Result<NestedString, Error>,
) -> Result<NestedString, Error>