sig
  val print_list :
    output:(string -> unit) ->
    ?encode:(string -> string) -> 'M_01_01.elt list -> unit
  val print :
    output:(string -> unit) ->
    ?encode:(string -> string) -> ?advert:string -> M_01_01.doc -> unit
end