package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type pp_tag = string
type t
type std_ppcmds = t
  • deprecated alias of Pp.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