why3 1.3.0 · OCaml Package

type !'a pp = Format.formatter -> 'a -> unit

val print_option : 'a pp -> 'a option pp

val print_option_or_default : string -> 'a pp -> 'a option pp

val print_list_pre : unit pp -> 'a pp -> 'a list pp

val print_list_suf : unit pp -> 'a pp -> 'a list pp

val print_list : unit pp -> 'a pp -> 'a list pp

val print_list_or_default : string -> unit pp -> 'a pp -> 'a list pp

val print_list_par : (Format.formatter -> unit -> 'a) -> 'b pp -> 'b list pp

val print_list_next : unit pp -> (bool -> 'a pp) -> 'a list pp

val print_list_delim : 
  start:unit pp ->
  stop:unit pp ->
  sep:unit pp ->
  'b pp ->
  'b list pp

val print_pair_delim : 
  unit pp ->
  unit pp ->
  unit pp ->
  'a pp ->
  'b pp ->
  ('a * 'b) pp

val print_pair : 'a pp -> 'b pp -> ('a * 'b) pp

val print_iter1 : (('a -> unit) -> 'b -> unit) -> unit pp -> 'a pp -> 'b pp

val print_iter2 : 
  (('a -> 'b -> unit) -> 'c -> unit) ->
  unit pp ->
  unit pp ->
  'a pp ->
  'b pp ->
  'c pp

val print_iter22 : 
  (('a -> 'b -> unit) -> 'c -> unit) ->
  unit pp ->
  (Format.formatter -> 'a -> 'b -> unit) ->
  'c pp

type formatted = (unit, unit, unit, unit, unit, unit) format6

val empty_formatted : formatted

val space : unit pp

val alt : unit pp

val alt2 : unit pp

val newline : unit pp

val newline2 : unit pp

val dot : unit pp

val comma : unit pp

val star : unit pp

val simple_comma : unit pp

val semi : unit pp

val colon : unit pp

val underscore : unit pp

val slash : unit pp

val equal : unit pp

val arrow : unit pp

val lbrace : unit pp

val rbrace : unit pp

val lsquare : unit pp

val rsquare : unit pp

val lparen : unit pp

val rparen : unit pp

val lchevron : unit pp

val rchevron : unit pp

val nothing : 'a pp

val string : string pp

val float : float pp

val int : int pp

val constant_string : string -> unit pp

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

val constant_formatted : formatted -> unit pp

val print0 : unit pp

val hov : int -> 'a pp -> 'a pp

val indent : int -> 'a pp -> 'a pp

val add_flush : 'a pp -> 'a pp

val asd : 'a pp -> 'a pp

val open_formatter : ?margin:int -> out_channel -> Format.formatter

val close_formatter : Format.formatter -> unit

val open_file_and_formatter : 
  ?margin:int ->
  string ->
  out_channel * Format.formatter

val close_file_and_formatter : (out_channel * Format.formatter) -> unit

val print_in_file_no_close : 
  ?margin:int ->
  (Format.formatter -> unit) ->
  string ->
  out_channel

val print_in_file : ?margin:int -> (Format.formatter -> unit) -> string -> unit

val print_list_opt : 
  unit pp ->
  (Format.formatter -> 'a -> bool) ->
  Format.formatter ->
  'a list ->
  bool

val string_of : ?max_boxes:int -> 'a pp -> 'a -> string

val string_of_wnl : 'a pp -> 'a -> string

val wnl : Format.formatter -> unit

val sprintf : ('b, Format.formatter, unit, string) Pervasives.format4 -> 'b

val sprintf_wnl : ('b, Format.formatter, unit, string) Pervasives.format4 -> 'b

val html_char : char pp

val html_string : string pp

module Ansi : sig ... end

type formatter = Format.formatter

package why3