open Mathql_semantics;;
open MathQL;;

(* stampa tutti i documenti che fanno match con un pattern di input *)
List.iter
 (function atturi -> print_endline ("output: " ^ atturi))
 (match Mqint.execute
  (MQList
  (MQUse
   (MQPattern
    (
     Some "cic",
    [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC"NEG_anti_convert.con"],
   (* [MQBSS; MQBC ".con"],*)
     []
    ),   
   "pippo")
   )
  ) with MQRefs l -> l 
 );



;;