UserPrompt.d.ts