Ast_helper.Mty(3)

okay bestie, welcome to the manual page for Ast_helper.Mty(3) from the OCaml library 💖✨ we’re doing module type expressions today, and yes, the whole helper squad is here.

🎀 NAME 🎀

Ast_helper.Mty - Module type expressions 🦋

🌸 Module 🌸

Module Ast_helper.Mty 🫶

💖 Documentation 💖

inside, it’s literally giving:

Module Mty
 : sig end

and the vibe is module type expressions, periodt. no extra lore, no secret menu — just the module and the vals below.

okay so here’s the full val lineup, signatures kept exactly as they are because we respect the source in this house 💅:

mk — exact signature:

val mk : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.module_type_desc -> Parsetree.module_type

attr — exact signature:

val attr : Parsetree.module_type -> Parsetree.attribute -> Parsetree.module_type

ident — exact signature:

val ident : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.module_type

alias — exact signature:

val alias : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.module_type

signature — exact signature:

val signature : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.signature -> Parsetree.module_type

functor_ — exact signature:

val functor_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.functor_parameter -> Parsetree.module_type -> Parsetree.module_type

with_ — exact signature:

val with_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.module_type -> Parsetree.with_constraint list -> Parsetree.module_type

typeof_ — exact signature:

val typeof_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.module_expr -> Parsetree.module_type

extension — exact signature:

val extension : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.extension -> Parsetree.module_type

---

that’s the whole page, bestie — source/version OCamldoc, date 2026-06-22 💋✨ no cap, that’s the footer info folded into a cute lil goodbye.