*)
(** @return rows list of rows *)
-val render_to_strings: int -> CicNotationPres.markup -> string list
+val render_to_strings:
+ (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) ->
+ int -> CicNotationPres.markup -> string list
(** helper function
* @return s, concatenation of the return value of render_to_strings above
* with newlines as separators *)
-val render_to_string: int -> CicNotationPres.markup -> string
+val render_to_string:
+ (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) ->
+ int -> CicNotationPres.markup -> string