Function kernel_name_of_components 

pub fn kernel_name_of_components(components: &[&str]) -> String

The kernel spelling of a Lean name given as its hierarchical components.

Every component is a string component; a numeric Lean component cannot be told apart from a digit string by its dotted spelling, so callers holding an export resolve such names through reference_declaration, which matches against the export’s own name table.