in
aux [] false None `None 0 []
-let rec print_box (t: CicNotationPres.boxml_markup) =
+let rec print_box (t: boxml_markup) =
Box.box2xml print_mpres t
-and print_mpres (t: CicNotationPres.mathml_markup) =
+and print_mpres (t: mathml_markup) =
Mpresentation.print_mpres print_box t
let print_xml = print_mpres