3 open Mathql_semantics;;
6 (* stampa tutti i documenti che fanno match con un pattern di input *)
8 (function atturi -> print_endline ("output: " ^ atturi))
15 [MQBD; MQBC "Algebra"; MQBD; MQBC "Basics"; MQBSS],
16 (* [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD;
18 (*[MQBSS; MQBC ".var"],*)