Pprintast(3)

🎀 NAME 🎀

okay bestie, welcome to the Pprintast(3) page from the OCaml library manual — manual name folded in right here so it doesn't get lonely 💖. The way that this is literally all about Pretty-printers for Parsetree? Obsessed. Periodt.

Pprintast — Pretty-printers for Parsetree.

🧚 Module 🧚

Module: Pprintast.

✨ Documentation ✨

Module Pprintast : sig end

Pretty-printers for Parsetree.

Warning: this module is unstable and part of Compiler_libs.

Here's the full lineup, exactly as it appears, ngl we do not lose receipts in this group chat 💅:

• 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.

---

mwah 💋 this iconic page was served by OCamldoc, dated 2026-06-22, and it's Pprintast(3) forever. bye bestie 🫶✨