Ast_helper.Type(3)

💖 NAME 💖

okay bestie, welcome to Ast_helper.Type(3) from the OCaml library docs ✨

Ast_helper.Type - Type declarations 🫶

This page is literally all about type declarations, and the vibe is very “builder functions only, no cap.” 💅

---

🧩 Module 🧩

Module Ast_helper.Type

That’s the module, icon behavior only. 👑

---

📚 Documentation 📚

🌸 Module Type 🌸

Module Type
 : sig end

Type declarations 🎀

Here are the vals, bestie — every single one, exactly as listed, no skipping, periodt. 💖

• val mk — the type-declaration maker with all the optional knobs, and yes, every ?loc, ?attrs, ?docs, ?text, ?params, ?constraints, ?kind, ?priv, and ?manifest is right here:

val mk : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
?docs:Docstrings.docs -> ?text:Docstrings.text ->
?params:(Parsetree.core_type * (Asttypes.variance *
Asttypes.injectivity)) list -> ?constraints:(Parsetree.core_type *
Parsetree.core_type * Ast_helper.loc) list -> ?kind:Parsetree.type_kind
-> ?priv:Asttypes.private_flag -> ?manifest:Parsetree.core_type ->
Ast_helper.str -> Parsetree.type_declaration

• val constructor — the constructor-declaration val, with all its optional args present and accounted for:

val constructor : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
?info:Docstrings.info -> ?vars:Ast_helper.str list ->
?args:Parsetree.constructor_arguments -> ?res:Parsetree.core_type ->
Ast_helper.str -> Parsetree.constructor_declaration

• val field — the label-declaration val, looking very main character with ?loc, ?attrs, ?info, and ?mut:

val field : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs ->
?info:Docstrings.info -> ?mut:Asttypes.mutable_flag -> Ast_helper.str ->
Parsetree.core_type -> Parsetree.label_declaration

That’s the whole page, bestie — short, sweet, and absolutely slaying. 🌈💜

xoxo, this cutie was brought to you by OCamldoc and stamped 2026-06-22 — mwah 💋🎀