pub fn components(kernel: &str) -> Option<Vec<Component>>
The components of a kernel identity, when it is the encoding of a Lean name.