- (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) ->
- int -> CicNotationPres.markup ->
- (int * int * string) list * string
+ (CicNotationPres.markup list -> CicNotationPres.markup) ->
+ int -> CicNotationPres.markup -> string