(* Ask user a yes or no question. *)
val yes_or_no : string -> bool