FormatExt (u.d46faeaa9065f127b6a51a5bfc8b1159.oasis.0.4.11.doc.oasis.FormatExt)

val pp_print_string_spaced : Format.formatter -> string -> unit

Print a string considering ' ' as Format space.

val pp_print_list : 
  (Format.formatter -> 'a -> unit) ->
  ('b, Format.formatter, unit) format ->
  Format.formatter ->
  'a list ->
  unit

pp_print_list pp_elem sep fmt lst Print the list lst of elements using pp_elem for each element and separate them by sep.

val pp_print_para : Format.formatter -> ?end_para:bool -> string -> unit

pp_print_para fmt str Print a paragraph. '\n\n' mark the end of a paragraph.

val pp_print_paraf : 
  Format.formatter ->
  ?end_para:bool ->
  ('a, unit, string, unit) format4 ->
  'a

val pp_print_title : Format.formatter -> int -> string -> unit

pp_print_title fmt lvl str Print a title using markdown formatting.

val pp_print_titlef : 
  Format.formatter ->
  int ->
  ('a, unit, string, unit) format4 ->
  'a

val pp_print_cut2 : Format.formatter -> unit -> unit

Print two cut in a row.

val pp_print_endblock : 
  ?check_last_char:string ->
  Format.formatter ->
  unit ->
  unit

Print 1 or 2 newlines depending on the previous char.

val pp_print_def : 
  Format.formatter ->
  string ->
  ((Format.formatter -> 'a -> unit) * 'a) list ->
  unit

Print a definition, as defined by pandoc (ext. of markdown)>