package why3

  1. Overview
  2. Docs
package why3
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct