Note:

You are viewing a development version of the library. Goto the latest version.

let pp_print_para fmt str =
  pp_open_box fmt 0;
  pp_print_string_spaced fmt str;
  pp_close_box fmt ();
  pp_print_endblock fmt ()