---
name: "Ast_helper.Exp"
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.Exp"
---

# Ast\_helper.Exp(3o)

Expressions

## NAME

Ast\_helper.Exp - Expressions

## Module

Module   Ast\_helper.Exp

## Documentation

Module **Exp**\
  :  **sig end**

Expressions

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

*val attr* :  **Parsetree.expression -\> Parsetree.attribute -\> Parsetree.expression**

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

*val constant* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\> Parsetree.constant -\> Parsetree.expression**

*val let\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Asttypes.rec\_flag -\>** **Parsetree.value\_binding list -\> Parsetree.expression -\> Parsetree.expression**

*val function\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.function\_param list -\>** **Parsetree.type\_constraint option -\>** **Parsetree.function\_body -\> Parsetree.expression**

*val apply* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\>** **(Asttypes.arg\_label \* Parsetree.expression) list -\> Parsetree.expression**

*val match\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Parsetree.case list -\> Parsetree.expression**

*val try\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Parsetree.case list -\> Parsetree.expression**

*val tuple* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **(string option \* Parsetree.expression) list -\> Parsetree.expression**

*val construct* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Ast\_helper.lid -\> Parsetree.expression option -\> Parsetree.expression**

*val variant* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Asttypes.label -\> Parsetree.expression option -\> Parsetree.expression**

*val record* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **(Ast\_helper.lid \* Parsetree.expression) list -\>** **Parsetree.expression option -\> Parsetree.expression**

*val field* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Ast\_helper.lid -\> Parsetree.expression**

*val setfield* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\>** **Ast\_helper.lid -\> Parsetree.expression -\> Parsetree.expression**

*val array* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\> Parsetree.expression list -\> Parsetree.expression**

*val ifthenelse* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\>** **Parsetree.expression -\> Parsetree.expression option -\> Parsetree.expression**

*val sequence* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Parsetree.expression -\> Parsetree.expression**

*val while\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Parsetree.expression -\> Parsetree.expression**

*val for\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.pattern -\>** **Parsetree.expression -\>** **Parsetree.expression -\>** **Asttypes.direction\_flag -\> Parsetree.expression -\> Parsetree.expression**

*val coerce* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\>** **Parsetree.core\_type option -\> Parsetree.core\_type -\> Parsetree.expression**

*val constraint\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Parsetree.core\_type -\> Parsetree.expression**

*val send* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Ast\_helper.str -\> Parsetree.expression**

*val new\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\> Ast\_helper.lid -\> Parsetree.expression**

*val setinstvar* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Ast\_helper.str -\> Parsetree.expression -\> Parsetree.expression**

*val override* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **(Ast\_helper.str \* Parsetree.expression) list -\> Parsetree.expression**

*val assert\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\> Parsetree.expression -\> Parsetree.expression**

*val lazy\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\> Parsetree.expression -\> Parsetree.expression**

*val poly* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.expression -\> Parsetree.core\_type option -\> Parsetree.expression**

*val object\_* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\> Parsetree.class\_structure -\> Parsetree.expression**

*val newtype* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Ast\_helper.str -\> Parsetree.expression -\> Parsetree.expression**

*val pack* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.module\_expr -\>** **Parsetree.package\_type option -\> Parsetree.expression**

*val letop* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.binding\_op -\>** **Parsetree.binding\_op list -\> Parsetree.expression -\> Parsetree.expression**

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

*val unreachable* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\> unit -\> Parsetree.expression**

*val struct\_item* :  **?loc:Ast\_helper.loc -\>** **?attrs:Ast\_helper.attrs -\>** **Parsetree.structure\_item -\> Parsetree.expression -\> Parsetree.expression**

*val case* :  **Parsetree.pattern -\>** **?guard:Parsetree.expression -\> Parsetree.expression -\> Parsetree.case**

*val binding\_op* :  **Ast\_helper.str -\>** **Parsetree.pattern -\>** **Parsetree.expression -\> Ast\_helper.loc -\> Parsetree.binding\_op**