Pprintast(3) OCaml library Pprintast(3)

# [NAME](#NAME)

Pprintast - Pretty-printers for Parsetree

# [Module](#Module)

Module Pprintast

# [Documentation](#Documentation)

Module **Pprintast**  
: **sig end**

Pretty-printers for **Parsetree**

Warning: this module is unstable and part of **Compiler\_libs** .

*type space\_formatter* = **(unit, Format.formatter, unit) format**

*val longident* : **Format.formatter -> Longident.t -> unit**

*val constr* : **Format.formatter -> Longident.t -> unit**

*val expression* : **Format.formatter -> Parsetree.expression -> unit**

*val string\_of\_expression* : **Parsetree.expression -> string**

*val pattern* : **Format.formatter -> Parsetree.pattern -> unit**

*val core\_type* : **Format.formatter -> Parsetree.core\_type -> unit**

*val signature* : **Format.formatter -> Parsetree.signature -> unit**

*val structure* : **Format.formatter -> Parsetree.structure -> unit**

*val string\_of\_structure* : **Parsetree.structure -> string**

*val module\_expr* : **Format.formatter -> Parsetree.module\_expr -> unit**

*val toplevel\_phrase* : **Format.formatter -> Parsetree.toplevel\_phrase -> unit**

*val top\_phrase* : **Format.formatter -> Parsetree.toplevel\_phrase -> unit**

*val class\_field* : **Format.formatter -> Parsetree.class\_field -> unit**

*val class\_type\_field* : **Format.formatter -> Parsetree.class\_type\_field -> unit**

*val class\_expr* : **Format.formatter -> Parsetree.class\_expr -> unit**

*val class\_type* : **Format.formatter -> Parsetree.class\_type -> unit**

*val module\_type* : **Format.formatter -> Parsetree.module\_type -> unit**

*val structure\_item* : **Format.formatter -> Parsetree.structure\_item -> unit**

*val signature\_item* : **Format.formatter -> Parsetree.signature\_item -> unit**

*val binding* : **Format.formatter -> Parsetree.value\_binding -> unit**

*val payload* : **Format.formatter -> Parsetree.payload -> unit**

*val tyvar\_of\_name* : **string -> string**

Turn a type variable name into a valid identifier, taking care of the special treatment required for the single quote character in second position, or for keywords by escaping them with \\#. No-op on "\_".

*val tyvar* : **Format.formatter -> string -> unit**

Print a type variable name as a valid identifier, taking care of the special treatment required for the single quote character in second position, or for keywords by escaping them with \\#. No-op on "\_".

*module Doc :* **sig end**

**Format\_doc** functions for error messages

2026-09-04 OCamldoc

---

Document: Pprintast(3o) from ocaml 5.5.1-r0 (Chainguard OS)
Source: https://github.com/ocaml/ocaml