package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type pp_tag = string
type t
type block_type =
  1. | Pp_hbox of int
  2. | Pp_vbox of int
  3. | Pp_hvbox of int
  4. | Pp_hovbox of int
type doc_view =
  1. | Ppcmd_empty
  2. | Ppcmd_string of string
  3. | Ppcmd_glue of t list
  4. | Ppcmd_box of block_type * t
  5. | Ppcmd_tag of pp_tag * t
  6. | Ppcmd_print_break of int * int
  7. | Ppcmd_force_newline
  8. | Ppcmd_comment of string list
val repr : t -> doc_view
val unrepr : doc_view -> t
val str : string -> t
val brk : (int * int) -> t
val fnl : unit -> t
val ws : int -> t
val mt : unit -> t
val ismt : t -> bool
val comment : string list -> t
val app : t -> t -> t
val seq : t list -> t
val (++) : t -> t -> t
val spc : unit -> t
val cut : unit -> t
val align : unit -> t
val int : int -> t
val real : float -> t
val bool : bool -> t
val qstring : string -> t
val qs : string -> t
val quote : t -> t
val strbrk : string -> t
val h : int -> t -> t
val v : int -> t -> t
val hv : int -> t -> t
val hov : int -> t -> t
val tag : pp_tag -> t -> t
val pr_comma : unit -> t
val pr_semicolon : unit -> t
val pr_bar : unit -> t
val pr_spcbar : unit -> t
val pr_arg : ('a -> t) -> 'a -> t
val pr_non_empty_arg : ('a -> t) -> 'a -> t
val pr_opt : ('a -> t) -> 'a option -> t
val pr_opt_no_spc : ('a -> t) -> 'a option -> t
val pr_nth : int -> t
val prlist : ('a -> t) -> 'a list -> t
val prlist_strict : ('a -> t) -> 'a list -> t
val prlist_with_sep : (unit -> t) -> ('a -> t) -> 'a list -> t
val prvect : ('a -> t) -> 'a array -> t
val prvecti : (int -> 'a -> t) -> 'a array -> t
val prvect_with_sep : (unit -> t) -> ('a -> t) -> 'a array -> t
val prvecti_with_sep : (unit -> t) -> (int -> 'a -> t) -> 'a array -> t
val pr_enum : ('a -> t) -> 'a list -> t
val pr_sequence : ('a -> t) -> 'a list -> t
val surround : t -> t
val pr_vertical_list : ('b -> t) -> 'b list -> t
val pp_with : Format.formatter -> t -> unit
val string_of_ppcmds : t -> string
val start_pfx : string
val end_pfx : string
val split_tag : string -> string * string
val db_print_pp : Format.formatter -> t -> unit
val db_string_of_pp : t -> string
val flatten : t -> t
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