Function mk_name

crates/kernel/src/expr.rs:813–819

(s: &str)

        write!(f, " ")?;
        fmt_expr(a, f, depth + 1)?;
      }
      write!(f, ")")
    },
    ExprData::Lam(name, _, ty, body, _) => {
      write!(f, "(fun (")?;
      if name.has_meta() {
        name.meta_fmt(f)?;
      } else {
        write!(f, "_")?;
      }