coq 8.7.2 · OCaml Package

coq

type pp_tag = string

type t

type std_ppcmds = 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 : std_ppcmds -> doc_view

val unrepr : doc_view -> std_ppcmds

val str : string -> std_ppcmds

val brk : (int * int) -> std_ppcmds

val fnl : unit -> std_ppcmds

val ws : int -> std_ppcmds

val mt : unit -> std_ppcmds

val ismt : std_ppcmds -> bool

val comment : string list -> std_ppcmds

val app : std_ppcmds -> std_ppcmds -> std_ppcmds

val seq : std_ppcmds list -> std_ppcmds

val (++) : std_ppcmds -> std_ppcmds -> std_ppcmds

val spc : unit -> std_ppcmds

val cut : unit -> std_ppcmds

val align : unit -> std_ppcmds

val int : int -> std_ppcmds

val real : float -> std_ppcmds

val bool : bool -> std_ppcmds

val qstring : string -> std_ppcmds

val qs : string -> std_ppcmds

val quote : std_ppcmds -> std_ppcmds

val strbrk : string -> std_ppcmds

val h : int -> std_ppcmds -> std_ppcmds

val v : int -> std_ppcmds -> std_ppcmds

val hv : int -> std_ppcmds -> std_ppcmds

val hov : int -> std_ppcmds -> std_ppcmds

val tag : pp_tag -> std_ppcmds -> std_ppcmds

val pr_comma : unit -> std_ppcmds

val pr_semicolon : unit -> std_ppcmds

val pr_bar : unit -> std_ppcmds

val pr_arg : ('a -> std_ppcmds) -> 'a -> std_ppcmds

val pr_non_empty_arg : ('a -> std_ppcmds) -> 'a -> std_ppcmds

val pr_opt : ('a -> std_ppcmds) -> 'a option -> std_ppcmds

val pr_opt_no_spc : ('a -> std_ppcmds) -> 'a option -> std_ppcmds

val pr_nth : int -> std_ppcmds

val prlist : ('a -> std_ppcmds) -> 'a list -> std_ppcmds

val prlist_strict : ('a -> std_ppcmds) -> 'a list -> std_ppcmds

val prlist_with_sep : 
  (unit -> std_ppcmds) ->
  ('a -> std_ppcmds) ->
  'a list ->
  std_ppcmds

val prvect : ('a -> std_ppcmds) -> 'a array -> std_ppcmds

val prvecti : (int -> 'a -> std_ppcmds) -> 'a array -> std_ppcmds

val prvect_with_sep : 
  (unit -> std_ppcmds) ->
  ('a -> std_ppcmds) ->
  'a array ->
  std_ppcmds

val prvecti_with_sep : 
  (unit -> std_ppcmds) ->
  (int -> 'a -> std_ppcmds) ->
  'a array ->
  std_ppcmds

val pr_enum : ('a -> std_ppcmds) -> 'a list -> std_ppcmds

val pr_sequence : ('a -> std_ppcmds) -> 'a list -> std_ppcmds

val surround : std_ppcmds -> std_ppcmds

val pr_vertical_list : ('b -> std_ppcmds) -> 'b list -> std_ppcmds

val pp_with : Format.formatter -> std_ppcmds -> unit

val string_of_ppcmds : std_ppcmds -> string

package coq