prompt

record prompt {
  name: string,
  options: option​<prompt-options>,
}