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



						   ;;