Ast\_helper.Mty(3) OCaml library Ast\_helper.Mty(3)

# [NAME](#NAME)

Ast\_helper.Mty - Module type expressions

# [Module](#Module)

Module Ast\_helper.Mty

# [Documentation](#Documentation)

Module **Mty**  
: **sig end**

Module type expressions

*val mk* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.module\_type\_desc -> Parsetree.module\_type**

*val attr* : **Parsetree.module\_type -> Parsetree.attribute -> Parsetree.module\_type**

*val ident* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Ast\_helper.lid -> Parsetree.module\_type**

*val alias* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Ast\_helper.lid -> Parsetree.module\_type**

*val signature* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.signature -> Parsetree.module\_type**

*val functor\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.functor\_parameter -> Parsetree.module\_type -> Parsetree.module\_type**

*val with\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.module\_type ->** **Parsetree.with\_constraint list -> Parsetree.module\_type**

*val typeof\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.module\_expr -> Parsetree.module\_type**

*val extension* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.extension -> Parsetree.module\_type**

2026-10-23 OCamldoc

---

Document: Ast_helper.Mty(3o) from ocaml 5.5.2-r0 (Chainguard OS)
Source: https://github.com/ocaml/ocaml