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 Mqint2.execute
  (MQList
  (MQUse
   (MQPattern
    (
     Some "cic",
    [MQBD; MQBC "Algebra"; MQBD; MQBC "Basics"; MQBSS],
   (* [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD;
    MQBC"Z_exh.con"],*)
    (*[MQBSS; MQBC ".var"],*)
     []
    ),   
   "pippo")
   )
  ) with MQRefs l -> l 
 );



;;