val interactive_interp_choice: gui:#gui -> MatitaTypes.choose_interp_callback
(** @return true if user hit "ok" button, false if user hit "cancel" button *)
val interactive_interp_choice: gui:#gui -> MatitaTypes.choose_interp_callback
(** @return true if user hit "ok" button, false if user hit "cancel" button *)