coq 8.8.1 · OCaml Package

type pp_tag = string

type t

type std_ppcmds = t

deprecated alias of Pp.t

type block_type =

| Pp_hbox of int
| Pp_vbox of int
| Pp_hvbox of int
| Pp_hovbox of int

type doc_view =

| Ppcmd_empty
| Ppcmd_string of string
| Ppcmd_glue of t list
| Ppcmd_box of block_type * t
| Ppcmd_tag of pp_tag * t
| Ppcmd_print_break of int * int
| Ppcmd_force_newline
| 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

package coq