4 open Mathql_semantics;;
7 (* stampa tutti i documenti che fanno match con un pattern di input *)
9 (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"],*)