export function char_to_symbol(c: string | number): number;