/** Name of a file when none is given, without the extension */ export declare const DEFAULT_NAME = "Untitled"; /** File extension for code in `language`, without the dot */ export declare function extensionOf(language: string): string; /** * Name of the downloaded file: the given name without path separators and characters that file systems reject, * `Untitled` when it is empty, with the extension of the language when it has none */ export declare function fileName(language: string, name?: string): string;