alias FindOutputFileCallback (alias) FindOutputFileCallback = fun(asked_name: string) -> string? The asked_name is the PDF or DVI file for writing. 😱 Types incomplete or incorrect? 🙏 Please contribute!