functor (O : XML_sigs.Output->
  sig
    val print_list :
      ?encode:(string -> string) -> 'M_01_01.elt list -> O.out
    val print :
      ?encode:(string -> string) -> ?advert:string -> M_01_01.doc -> O.out
  end