Function mk_addr

crates/kernel/src/expr.rs:821–823

(s: &str)

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