pub fn encode(components: &[Component]) -> String
The structural encoding of a Lean name, before the reader’s reserved identities apply.