---
name: "Ast_helper.Mty"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Ast_helper.Mty"
---

# Ast\_helper.Mty(3o)

Module type expressions

## NAME

Ast\_helper.Mty - Module type expressions

## Module

Module   Ast\_helper.Mty

## 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**