(* the callback function must return false iff the query must be skipped *)
val set_confirm_query : (MathQL.query -> bool) -> unit
(* the callback function must return false iff the query must be skipped *)
val set_confirm_query : (MathQL.query -> bool) -> unit