(int * Cic.term * bool * int * (int * Cic.term) list) list *
(int * Cic.term * int) list * Cic.term list
val auto_dialog : (unit -> status) -> unit
(int * Cic.term * bool * int * (int * Cic.term) list) list *
(int * Cic.term * int) list * Cic.term list
val auto_dialog : (unit -> status) -> unit