Function nested_with_bound_vars

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