pub fn kernel_name(lean: &str) -> Result<String, Verdict>
The kernel identity the reader registers the dotted Lean name lean under.
lean