pub fn lean_name(kernel: &str) -> String
The dotted Lean name a kernel identity encodes, as Lean prints it; a kernel name that encodes no Lean name is returned unchanged.